MediaWiki:Gadgets-definition
interface-editors
browsing
- ReferenceTooltips[ResourceLoader|default|type=general|dependencies=mediawiki.cookie,jquery.client]|ReferenceTooltips.js|ReferenceTooltips.css
editing
- PatrollingEnhancements[ResourceLoader|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
- AcceleratedFormCreation[ResourceLoader|dependencies=mediawiki.util]|AcceleratedFormCreation.css|AcceleratedFormCreation.js