Merge "Make User::isBot() also check the "bot" right for sanity"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 12 May 2016 23:13:17 +0000 (23:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 12 May 2016 23:13:17 +0000 (23:13 +0000)
commit5cfa9187a9f73507b625055eee2c644c33429489
treef048ce9ff91557a6f610e46f77a5bd018ffbad00
parent5851a38644de36a1c14c68fb6e961707b603fbff
parent911fc2cd8664613e39c2b8cb257c654b0a8934cb
Merge "Make User::isBot() also check the "bot" right for sanity"
includes/user/User.php