Merge "Revert "Convert mediawiki.toc and mediawiki.user to using mw.cookie""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 28 May 2015 00:54:49 +0000 (00:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 28 May 2015 00:54:49 +0000 (00:54 +0000)
commit3d2a18c4f5e5bb84e04616a3ecd8f422647cf915
tree4a8fd81031d98e914b62bd051c84e4714cc3f4b1
parent0171d903e9b1f14633a5af9832636e0dcee6ebe4
parent2f8f2a08aca050556b7f93c7a6d8401b1c39183f
Merge "Revert "Convert mediawiki.toc and mediawiki.user to using mw.cookie""
resources/Resources.php