Difference between revisions of "MediaWiki:Gadgets-definition"
Jump to navigation
Jump to search
(enables the wikEd gadget) |
(correct placement of type=general to fix error about styles loading twice) |
||
(7 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
− | * | + | * MenuTabsToggle[ResourceLoader|dependencies=mediawiki.cookie|type=general]|MenuTabsToggle.js|MenuTabsToggle.css |
+ | * HotCat[ResourceLoader|rights=edit,purge]|HotCat.js |
Latest revision as of 15:55, 17 March 2018
- MenuTabsToggle[ResourceLoader|dependencies=mediawiki.cookie|type=general]|MenuTabsToggle.js|MenuTabsToggle.css
- HotCat[ResourceLoader|rights=edit,purge]|HotCat.js