MediaWiki:Gadgets-definition: Difference between revisions
Jump to navigation
Jump to search
Chrysophylax (talk | contribs) mNo edit summary |
No edit summary |
||
| Line 4: | Line 4: | ||
== editing == | == editing == | ||
*PatrollingEnhancements[rights=patrol|default]|PatrollingEnhancements.js | *PatrollingEnhancements[rights=patrol|default]|PatrollingEnhancements.js | ||
* DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js | |||
* defaultVisibilityToggles[ResourceLoader|default]|defaultVisibilityToggles.js | |||
Revision as of 15:31, 7 July 2025
interface-editors
browsing
- ReferenceTooltips[ResourceLoader|default]|ReferenceTooltips.js|ReferenceTooltips.css
editing
- PatrollingEnhancements[rights=patrol|default]|PatrollingEnhancements.js
- DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
- defaultVisibilityToggles[ResourceLoader|default]|defaultVisibilityToggles.js