MediaWiki:Gadgets-definition

interface-editors

browsing

  • ReferenceTooltips[ResourceLoader|default]|ReferenceTooltips.js|ReferenceTooltips.css

editing

  • PatrollingEnhancements[rights=patrol|default]|PatrollingEnhancements.js