MediaWiki:Gadgets-definition

browsing

 * Navigation_popups|popups.js|navpop.css
 * revisionjumper|revisionjumper.js

editing

 * HotCat[ResourceLoader|rights=edit,purge]|HotCat.js
 * charinsert[ResourceLoader]|charinsert.js|charinsert.css

appearance

 * addsection-plus|addsection-plus.js
 * edittop|edittop.js
 * mySandbox[ResourceLoader|dependencies=mediawiki.util,mediawiki.Title,mediawiki.Uri|rights=createpage]|mySandbox.js
 * purgetab[ResourceLoader|dependencies=mediawiki.util]|purgetab.js
 * widensearch[ResourceLoader]|widensearch.css

misc

 * UTCLiveClock[rights=edit,purge]|UTCLiveClock.js
 * quickeditcounter|quickeditcounter.js
 * historyNumbered|historyNumbered.css