Open main menu

Changes

@see https://phabricator.wikimedia.org/T42284
* MenuTabsToggle[ResourceLoader|dependencies=mediawiki.cookie]|MenuTabsToggle.js|MenuTabsToggle.csstype=general
* HotCat[ResourceLoader|rights=edit,purge]|HotCat.js
4,558

edits