MediaWiki:Gadgets-definition


 * DotsSyntaxHighlighter[ResourceLoader|default]|DotsSyntaxHighlighter.js