MediaWiki:Gadgets-definition

editing-gadgets

 * HotCat|HotCat.js
 * wikEd|wikEd.js

browsing-gadgets

 * Navigation_popups|popups.js|navpop.css

interface-gadgets

 * removeAccessKeys|removeAccessKeys.js
 * exlinks|exlinks.js
 * edittop|edittop.js
 * UTCLiveClock|UTCLiveClock.js