Merge "Add SessionManager::invalidateSessionsForUser"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 11 May 2016 14:03:34 +0000 (14:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 11 May 2016 14:03:34 +0000 (14:03 +0000)
commitb03262c64bd635061f47e5833a682747f35ed77a
tree5b94a3f45a21c76a27ddd7f2d34c0c54ff31692d
parent452779b824575ad354a800f820729a9450d9ff9e
parent3e618de36377403ab0f853101c0d88c33e27ae21
Merge "Add SessionManager::invalidateSessionsForUser"
includes/user/User.php