MediaWiki:Gadgets-definition

  • Navigation Popups|popups.js|popups.css
  • Extra_edit_buttons|extraeditbuttons.js
  • edittop|edittop.js