Merge "Remove prefix from forceHTTPS cookie"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 29 Aug 2013 20:56:26 +0000 (20:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 29 Aug 2013 20:56:26 +0000 (20:56 +0000)
commit7e256f3d38a1c177fd0030648d82901711bf7998
tree2484519ab91d101203bcc840e8c24a73218d870b
parent5e8d2ec5c4030e787b833b9b2ea06e54e5a71b19
parent188823c074fb3ba8d20a9e929d493f439add2ce0
Merge "Remove prefix from forceHTTPS cookie"
includes/User.php