MediaWiki:Gadgets-definition


 * DotsSyntaxHighlighter[ResourceLoader|dependencies=jquery.client]|DotsSyntaxHighlighter.js
 * hotCat[ResourceLoader]|hotCat.js