MediaWiki:Gadgets-definition

browsing

• Navigation_popups|popups.js|navpop.css

editing

• urldecoder|urldecoder.js
• preview|preview.js
• HotCat|HotCat.js
• Wikilinker[default]|wikilinker.js

interface-gadgets

• UTCLiveClock|UTCLiveClock.js

users

• markadmins|markadmins.js

articles

• HighlightRedirects|Highlightredirects.js