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