MediaWiki:Gadgets-definition

interface-gadgets

 * Edittop|edittop.js
 * UTCLiveClock|UTCLiveClock.js
 * ajaxrecentchanges|ajaxrecentchanges.js
 * Navigation_popups|popups.js|navpop.css

editing-gadgets

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

admin-gadgets

 * CleanDeleteReasons|CleanDeleteReasons.js
 * EnhancedUndelete|EnhancedUndelete.js
 * blocktab|blocktab.js

dev-gadgets

 * scapmap [ResourceLoader|dependencies=jquery.tipsy] | scapmap.js | scapmap.css
 * ParserPlayground[ResourceLoader]|ParserPlayground-HashMap.js|ParserPlayground-jsdiff.js|ParserPlayground-FakeParser.js|ParserPlayground-MediaWikiParser.js|ParserPlayground-Peg-0.6.1.js|ParserPlayground-PegParser.js|ParserPlayground.js|ParserPlayground.css