MediaWiki:Gadgets-definition


 * Edittools[ResourceLoader|default|rights=edit]|Edittools.js
 * DotsSyntaxHighlighter[ResourceLoader|default|dependencies=jquery.client]|DotsSyntaxHighlighter.js
 * HotCat[ResourceLoader|rights=edit|default]|HotCat.js
 * Cat-a-lot[ResourceLoader|rights=edit|dependencies=mediawiki.util]|Cat-a-lot.js
 * wikEd[ResourceLoader|rights=edit]|wikEd.js