MediaWiki:Gadgets-definition

default

• edittop[ResourceLoader|default|dependencies=site,mediawiki.util]|edittop.js

editing

• registerTool[ResourceLoader|hidden|dependencies=mediawiki.util,user.options]|registerTool.js
• wikificator[ResourceLoader|hidden|type=general|dependencies=ext.gadget.registerTool]|wikificator.js|wikificator.css
• HotCat[ResourceLoader]|HotCat.js
• refToolbar[ResourceLoader|dependencies=user.options]|refToolbar.js
• refToolbarBase[ResourceLoader|hidden]|refToolbarBase.js

users

• markblocked[ResourceLoader|dependencies=mediawiki.util,mediawiki.page.ready]|markblocked.js