MediaWiki:Gadgets-definition


 * DotsSyntaxHighlighter[ResourceLoader|default]|DotsSyntaxHighlighter.js
 * HotCat[ResourceLoader|default]|HotCat.js