MediaWiki:Gadgets-definition: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 5: | Line 5: | ||
*PatrollingEnhancements[rights=patrol|default]|PatrollingEnhancements.js | *PatrollingEnhancements[rights=patrol|default]|PatrollingEnhancements.js | ||
* DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js | * DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js | ||
* defaultVisibilityToggles[ResourceLoader|default]|defaultVisibilityToggles.js | * VisibilityToggles[ResourceLoader|hidden|dependencies=user,mediawiki.cookie]|VisibilityToggles.js | ||
* defaultVisibilityToggles[ResourceLoader|hidden|default|dependencies=ext.gadget.VisibilityToggles]|defaultVisibilityToggles.js | |||
Revision as of 00:02, 10 July 2025
interface-editors
browsing
- ReferenceTooltips[ResourceLoader|default]|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