MediaWiki talk:Gadget-DotsSyntaxHighlighter.js