MediaWiki:Gadgets-definition

interface

• UTCLiveClock[ResourceLoader]|UTCLiveClock.js
• edittop[ResourceLoader]|edittop.js

browsing-gadgets

• Navigation_popups[ResourceLoader]|popups.js|navpop.css

editing-gadgets

• Hotcat[ResourceLoader]|HotCat.js