Page history

Freephile

correct placement of type=general to fix error about styles loading twice

Freephile

need pipe between options

Freephile

@see https://phabricator.wikimedia.org/T42284

Freephile

remove the WikEd gadget to work on the js errors

Freephile

change dependency in MenuTabsToggle from jquery.cookie to mediawiki.cookie

Freephile

adds ResourceLoader to the definition of wikEd

Freephile

Adds HotCat gadget to wiki

Freephile

add the Menu Tab toggle so that extra "hidden" menu elements can be viewed next to the regular Vector menu tabs

Freephile

enables the wikEd gadget