MediaWiki:Gadgets-definition

editing

 * DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js