admin-gadgets

  • EnhancedUndelete[ResourceLoader]|EnhancedUndelete.js

browsing-gadgets

  • Navigation_popups[ResourceLoader]|popups.js

editing-gadgets

  • Friendly[ResourceLoader]|Friendly.js
  • HotCat[ResourceLoader]|HotCat.js
  • wikEd[ResourceLoader]|wikEd.js