MediaWiki:Gadgets-definition


 * HotCat[ResourceLoader|rights=edit|default]|HotCat.js
 * mySandbox[ResourceLoader|dependencies=mediawiki.util,mediawiki.Title,mediawiki.Uri|default|rights=edit]|mySandbox.js
 * Edittools[ResourceLoader|default|rights=edit]|Edittools.js
 * DotsSyntaxHighlighter[ResourceLoader|default|rights=edit]|DotsSyntaxHighlighter.js