Remove patrol config check in User::isAllowed()
authorcenarium <cenarium.sysop@gmail.com>
Tue, 12 Jan 2016 00:34:19 +0000 (01:34 +0100)
committercenarium <cenarium.sysop@gmail.com>
Tue, 12 Jan 2016 00:34:19 +0000 (01:34 +0100)
commit273c54bff50d87e7a2bda79ee7babb1147c5d605
tree3b15dd243fccc3390d8c30f77fa714412f40eefb
parent95d8f9fb5d93fedbd2f63e5349d80ef2f43661d1
Remove patrol config check in User::isAllowed()

The isAllowed() function of the User class checks $wgUseRCPatrol and
$wgUseNPPatrol in case the action is 'patrol' or 'autopatrol'.
Considering we have the useRCPatrol and such functions, it shouldn't.
getUserPermissionsErrors of the Title class doesn't and extensions may
use patrol regardless of core config. If we don't remove it, we would
have to also check the new $wgUseFilePatrol.

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