Difference between revisions of "MediaWiki:Gadgets-definition"
Jump to navigation
Jump to search
(remove the WikEd gadget to work on the js errors) |
(@see https://phabricator.wikimedia.org/T42284) |
||
Line 1: | Line 1: | ||
− | * MenuTabsToggle[ResourceLoader|dependencies=mediawiki.cookie]|MenuTabsToggle.js|MenuTabsToggle.css | + | * MenuTabsToggle[ResourceLoader|dependencies=mediawiki.cookie]|MenuTabsToggle.js|MenuTabsToggle.css type=general |
* HotCat[ResourceLoader|rights=edit,purge]|HotCat.js | * HotCat[ResourceLoader|rights=edit,purge]|HotCat.js |
Revision as of 19:51, 5 February 2018
- MenuTabsToggle[ResourceLoader|dependencies=mediawiki.cookie]|MenuTabsToggle.js|MenuTabsToggle.css type=general
- HotCat[ResourceLoader|rights=edit,purge]|HotCat.js