Merge "Log multiple IPs using the same session or the same user account"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 12 Feb 2016 00:35:12 +0000 (00:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 12 Feb 2016 00:35:12 +0000 (00:35 +0000)
commit197ee74f2b9bebfd5982df34a8c174aa12f51ff2
tree36ba51f1e7e4e5006a9f859a962bd18af3d29d3b
parent4e0f4a3a10bdc3cb6cbbe3d870ee378af3edca1c
parentf22549a60539c9aa5c5390c8417c984ba8eef5b2
Merge "Log multiple IPs using the same session or the same user account"
includes/DefaultSettings.php
includes/session/SessionManager.php
tests/phpunit/includes/session/SessionManagerTest.php