From: umherirrender <umherirrender_de.wp@web.de>
Date: Mon, 13 Aug 2012 07:51:02 +0000 (+0200)
Subject: add 'patrolmarks' right to list of available rights
X-Git-Tag: 1.31.0-rc.0~22754^2
X-Git-Url: http://git.cyclocoop.org/%22.%24h.%22?a=commitdiff_plain;h=6fb938c3acd04f88098ffd3c29443e58b7d227ab;p=lhc%2Fweb%2Fwiklou.git

add 'patrolmarks' right to list of available rights

now it is shown and selectable on api (list=allusers&aurights=) and
Special:GlobalGroupPermissions (from CentralAuth)

Change-Id: I9464109c2d1648e5668e545b9c7109ced656f4d7
---

diff --git a/includes/User.php b/includes/User.php
index d2ebabb124..40577fe7a6 100644
--- a/includes/User.php
+++ b/includes/User.php
@@ -141,6 +141,7 @@ class User {
 		'noratelimit',
 		'override-export-depth',
 		'patrol',
+		'patrolmarks',
 		'protect',
 		'proxyunbannable',
 		'purge',