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