MediaWiki:Gadgets-definition: Difference between revisions

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