MediaWiki:Gadgets-definition
editing-gadgets
- DotsSyntaxHighlighter[ResourceLoader|dependencies=jquery.client]|DotsSyntaxHighlighter.js
- Edittools[ResourceLoader|default]|Edittools.js
- HotCat[ResourceLoader]|HotCat.js
- TabOverride[ResourceLoader]|TabOverride.js
- oldeditor[ResourceLoader]|oldeditor.js
- workinprogress[ResourceLoader]|workinprogress.js
- userMessages[ResourceLoader|dependencies=mediawiki.util]|userMessages.js