MediaWiki:Gadgets-definition
- Edittools[ResourceLoader|default|rights=edit]|Edittools.js
- DotsSyntaxHighlighter[ResourceLoader|default|rights=edit]|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