MediaWiki:Gadgets-definition
advanced
- script-installer[ResourceLoader|dependencies=mediawiki.ui.button]|script-installer.js
- userRightsManager[ResourceLoader|dependencies=mediawiki.api,oojs-ui|rights=bureaucrat]|userRightsManager.css|userRightsManager.js
appearance
- markadmins[ResourceLoader|dependencies=mediawiki.util,mediawiki.api]|markadmins.js
- markblocked[ResourceLoader|dependencies=mediawiki.util,mediawiki.page.ready]|markblocked.js
- purgetab[ResourceLoader|dependencies=mediawiki.util,mediawiki.api]|purgetab.js
editing
- Edittools[ResourceLoader|default]|Edittools.js
- HotCat[ResourceLoader|rights=minoredit,upload]|HotCat.js
- summaryButtons[ResourceLoader|hidden|type=general|dependencies=mediawiki.ui.button,mediawiki.util]|summaryButtons.css|summaryButtons.js