browsing-gadgets

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

editing-gadgets

  • wikEd[ResourceLoader]|wikEd.js

interface-gadgets

  • removeAccessKeys[ResourceLoader]|removeAccessKeys.js
  • exlinks[ResourceLoader]|exlinks.js
  • edittop[ResourceLoader]|edittop.js
  • UTCLiveClock[ResourceLoader]|UTCLiveClock.js
  • Blackskin[ResourceLoader]|Blackskin.css

library-gadgets

  • JSL[ResourceLoader]|JSL.js
  • modernskin-thunks[ResourceLoader]|modernskin-thunks.js