MediaWiki:Gadgets-definition
interface-gadgets
- mySandbox[ResourceLoader|dependencies=mediawiki.util,mediawiki.Title,mediawiki.Uri|default|rights=move-rootuserpages]|mySandbox.js
- pop[default]|Pop.js|Pop.css
- shortcut[default]|shortcut.js
- ReferenceTooltips[default]|ReferenceTooltips.js|ReferenceTooltips.css
- HotCat[ResourceLoader]|HotCat.js
- Gadget-StickyToc[ResourceLoader]|Gadget-StickyToc.js|Gadget-StickyToc.css