MediaWiki:Gadgets-definition: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
== interface-editors == | == interface-editors == | ||
== browsing == | == browsing == | ||
*ReferenceTooltips[ResourceLoader|default]|ReferenceTooltips.js|ReferenceTooltips.css | *ReferenceTooltips[ResourceLoader|default|type=general|dependencies=mediawiki.cookie,jquery.client]|ReferenceTooltips.js|ReferenceTooltips.css | ||
== editing == | == editing == | ||
*PatrollingEnhancements[rights=patrol|default]|PatrollingEnhancements.js | *PatrollingEnhancements[rights=patrol|default]|PatrollingEnhancements.js | ||
Revision as of 00:30, 10 July 2025
interface-editors
browsing
- ReferenceTooltips[ResourceLoader|default|type=general|dependencies=mediawiki.cookie,jquery.client]|ReferenceTooltips.js|ReferenceTooltips.css
editing
- PatrollingEnhancements[rights=patrol|default]|PatrollingEnhancements.js
- DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
- VisibilityToggles[ResourceLoader|hidden|dependencies=user,mediawiki.cookie]|VisibilityToggles.js
- defaultVisibilityToggles[ResourceLoader|hidden|default|dependencies=ext.gadget.VisibilityToggles]|defaultVisibilityToggles.js