Difference between revisions of "MediaWiki:Gadgets-DotsSyntaxHighlighter"
Jump to navigation
Jump to search
(added dots syntax highlighter) |
(No difference)
|
Latest revision as of 13:16, 21 October 2021
Syntax highlighter: Make syntax stand out colourfully in the edit box.