MediaWiki:Gadgets-definition

interface-gadgets

  • HideSectionEditLinks [ ResourceLoader ] | HideSectionEditLinks.css

maintenance-gadgets

  • HighlightRedirects | HighlightRedirects.css

admin-gadgets

  • CleanDeleteReason [ ResourceLoader | rights = delete ] | CleanDeleteReason.js
  • SafeRollback [ ResourceLoader | rights = rollback ] | SafeRollback.js