MediaWiki:Gadget-DotsSyntaxHighlighter: Difference between revisions