MediaWiki:Gadgets-definition


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