Merge "Enforce MW_NO_SESSION, add MW_NO_SESSION_HANDLER"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 22 Feb 2016 23:49:12 +0000 (23:49 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 22 Feb 2016 23:49:12 +0000 (23:49 +0000)
commit1dd2acf48c2c3c10c196c968d79f75bf87ce1243
treee36286dd9d20b267c157e7af83d904a9e874ba2e
parentf45608ea3e0f00bfb05c3ebd46d5f8a70139e3b5
parentf61cb18b71dac4b8117c36c4b54653742f6e118c
Merge "Enforce MW_NO_SESSION, add MW_NO_SESSION_HANDLER"
includes/session/SessionManager.php