Merge "Remove patrol config check in User::isAllowed()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 13 Jan 2016 21:47:55 +0000 (21:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 13 Jan 2016 21:47:55 +0000 (21:47 +0000)
commit2b2f8570a23569c9d797e21866290737b61f8746
tree29481c304f7db8f7e4d46aa72add0b9d795bae8e
parent0acebab76c99fda07ea8944de9d3f406de99201f
parent273c54bff50d87e7a2bda79ee7babb1147c5d605
Merge "Remove patrol config check in User::isAllowed()"
includes/user/User.php