MediaWiki:Gadget-DotsSyntaxHighlighter: Difference between revisions
Content deleted Content added
No edit summary |
(No difference)
|
Revision as of 08:53, March 20, 2019
Syntax highlighter: Alternative to the default coloring of wiki syntax in the edit box (works best in Firefox and works almost all of the time in Chrome and Opera)