Merge "mediawiki.user: Move JS session token from cookie to sessionStorage"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 28 Feb 2017 22:24:49 +0000 (22:24 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 28 Feb 2017 22:24:49 +0000 (22:24 +0000)
commit967bbcf52546a6e260ec76ffff5b59c464189969
tree2345b500a32ebe738cc311846bc153a7772517ec
parent58abfa80370a66deef69f6490f7333bce9045897
parent213cdfbec8cf063a6e5a6f168ec97dbd32653d4f
Merge "mediawiki.user: Move JS session token from cookie to sessionStorage"