MediaWiki:Gadgets-definition: Difference between revisions
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 | |||