Merge "Add SessionInfo force-use flag"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 11 May 2016 15:16:48 +0000 (15:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 11 May 2016 15:16:48 +0000 (15:16 +0000)
commit4944ed20d4505172cfbc8c65444fcc39953ce044
tree0a78a488624e051897030a85bb3dc6d4267108c3
parentb03262c64bd635061f47e5833a682747f35ed77a
parentafdcd30599d0670900463281025c582e3addba82
Merge "Add SessionInfo force-use flag"
includes/session/SessionManager.php
includes/session/SessionProvider.php
tests/phpunit/includes/session/SessionManagerTest.php