Difference between revisions of "MediaWiki:Gadget-DotsSyntaxHighlighter"

From Seeds of the Word
 
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)