Merge "Introduce User::INVALID_TOKEN"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 8 Feb 2016 00:55:04 +0000 (00:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 8 Feb 2016 00:55:04 +0000 (00:55 +0000)
commit8ea3e9135d521a1e12890d07e5a7089ef1de4e85
tree3fa3d653e036233c54b6725a81b5bfca9d7e5a1d
parent4ae1a85772db4bbf6f0003ed5fc6857c0601a8f3
parent30a9eae82177368b6246acc65b5331e81d4605ae
Merge "Introduce User::INVALID_TOKEN"
includes/session/SessionManager.php
includes/user/User.php
tests/phpunit/includes/session/SessionManagerTest.php