MediaWiki:Gadgets-definition
Jump to navigation
Jump to search
interface-editors
browsing
- ReferenceTooltips[ResourceLoader|default]|ReferenceTooltips.js|ReferenceTooltips.css
editing
- PatrollingEnhancements[rights=patrol|default]|PatrollingEnhancements.js