MediaWiki:Gadget-DotsSyntaxHighlighter: Difference between revisions
No edit summary |
Johnrdorazio (talk | contribs) m 1 revision imported |
(No difference)
|
Latest revision as of 21:17, August 30, 2020
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)