MediaWiki:Gadgets-definition

• common-action-edit[ResourceLoader|hidden|type=general|dependencies=user.options]|common-action-edit.js|common-action-edit.css
• SettingsManager[ResourceLoader|dependencies=mediawiki.user,user.options,mediawiki.api,mediawiki.util|hidden]|SettingsManager.js

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

users

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

interface

• UTCLiveClock[ResourceLoader|dependencies=mediawiki.util]|UTCLiveClock.js