MediaWiki:Gadgets-definition
- HotCat[ResourceLoader|rights=edit|default]|HotCat.js
- Edittools[ResourceLoader|default|rights=edit]|Edittools.js
- DotsSyntaxHighlighter[ResourceLoader|default|rights=edit]|DotsSyntaxHighlighter.js
- wikEd[ResourceLoader|rights=edit]|wikEd.js