Make User::isBot() also check the "bot" right for sanity
authorAaron Schulz <aschulz@wikimedia.org>
Thu, 12 May 2016 20:02:41 +0000 (13:02 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Thu, 12 May 2016 23:03:44 +0000 (16:03 -0700)
commit911fc2cd8664613e39c2b8cb257c654b0a8934cb
tree3c3c1fbedc994dc7417531518758ac9042acd5c4
parent9d04df5ad9e8866605c2813825f98acccb08ba57
Make User::isBot() also check the "bot" right for sanity

Change-Id: I835cc23719c1975bb86f642d3ede36c882ce2e9b
includes/user/User.php