MediaWiki:Gadgets-definition

interface-gadgets

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

admin-gadgets

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