MediaWiki:Gadgets-definition
interface
- UTCLiveClock[ResourceLoader]|UTCLiveClock.js
- edittop|edittop.js|edittop.css
- SpaceSavingIOL [ ResourceLoader | default ] | SpaceSavingIOL.css
browsing-gadgets
- Navigation_popups|popups.js|navpop.css
editing-gadgets
- Hotcat[ResourceLoader]|HotCat.js