Merge "Update session log messages"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 8 Feb 2016 16:02:45 +0000 (16:02 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 8 Feb 2016 16:02:45 +0000 (16:02 +0000)
commit79e51b55e5312535944081e0d30ead9baa1c1b31
tree795b772cee5a79f23827e53a522c9deab688c36e
parentca2c2c0f4fdd633779ce1d48d09645275b0e5827
parentf60fd42b33ed226f999dd6b6cc1cc499a1f6b151
Merge "Update session log messages"
includes/session/SessionManager.php
tests/phpunit/includes/session/SessionManagerTest.php