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