MediaWiki:Gadgets-definition

interface-gadgets

 * Edittop[ResourceLoader]|edittop.js
 * UTCLiveClock[ResourceLoader]|UTCLiveClock.js
 * ajaxrecentchanges|ajaxrecentchanges.js
 * Navigation_popups|popups.js|navpop.css
 * CodeReview_checkedRevsExport[ResourceLoader]|CodeReview_checkedRevsExport.js

editing-gadgets

 * HotCat[ResourceLoader]|HotCat.js
 * CodeEditor[ResourceLoader|dependencies=jquery.ui.resizable]|CodeEditor.js

admin-gadgets

 * CleanDeleteReasons[ResourceLoader]|CleanDeleteReasons.js
 * EnhancedUndelete[ResourceLoader]|EnhancedUndelete.js
 * blocktab[ResourceLoader]|blocktab.js

dev-gadgets

 * ParserPlayground[ResourceLoader]|ParserPlayground.js