Merge "Use SessionManagerInterface in PHPSessionHandler"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 11 Jul 2019 18:48:25 +0000 (18:48 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 11 Jul 2019 18:48:25 +0000 (18:48 +0000)
commit1c0fc2d87ae3e4bc37628161caf8b52668f5a46f
tree6b30e6ce8bd920a7f3401d310648604a424db25d
parent6c4e1a0320a16cc153d929f138db9a78f59bc54d
parent8bdd844f7def4c50929297fef6496650359130a0
Merge "Use SessionManagerInterface in PHPSessionHandler"