Merge "Use $wgSecureCookie to decide whether to actually mark secure cookies as ...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 25 Jan 2016 20:11:18 +0000 (20:11 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 25 Jan 2016 20:11:18 +0000 (20:11 +0000)
commit753e9b1cfdc8be1bc2499446ad2193b1fe0dc904
treee8129ae0d4788fca224c3fe1c502cc933141bbd8
parentfa0c4cf9c6ca80effaa46d7bf756aff7f2d2cf08
parent4eeff5b559e2ae7b8fa1f45572968ba28573a421
Merge "Use $wgSecureCookie to decide whether to actually mark secure cookies as 'secure'"