Merge "Convert mediawiki.toc and mediawiki.user to using mw.cookie"