MediaWiki:Gadgets-definition

interface-gadgets

 * site[ResourceLoader|default|dependencies=mediawiki.util,jquery.mwExtension,ext.gadget.enwp-boxes]|site.js|site.css
 * Edittop[ResourceLoader]|edittop.js
 * UTCLiveClock[ResourceLoader]|UTCLiveClock.js
 * ajaxrecentchanges|ajaxrecentchanges.js
 * Navigation_popups|popups.js|navpop.css
 * CodeReview_checkedRevsExport[ResourceLoader]|CodeReview_checkedRevsExport.js
 * contribsrange|contribsrange.js
 * Numerakri[ResourceLoader|dependencies=jquery.cookie, mediawiki.util, mediawiki.user]|Numerakri.js
 * externalsearch[default]|externalsearch.js

editing-gadgets

 * CodeEditor[ResourceLoader|dependencies=jquery.ui.resizable]|CodeEditor.js
 * DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
 * Edittools[ResourceLoader|default]|Edittools.js
 * HotCat[ResourceLoader]|HotCat.js
 * TabOverride[ResourceLoader]|TabOverride.js
 * WmfProjectStatusHelper[ResourceLoader | default]|WmfProjectStatusHelper.js

admin-gadgets

 * CleanDeleteReasons[ResourceLoader]|CleanDeleteReasons.js
 * blocktab[ResourceLoader|dependencies=mediawiki.util,mediawiki.Title]|blocktab.js
 * SpecialNukeOnContribsLink|SpecialNukeOnContribsLink.js

dev-gadgets

 * ParserPlayground[ResourceLoader]|ParserPlayground.js

hidden

 * enwp-boxes[ResourceLoader|rights=hidden|hidden]|enwp-boxes.css