add 'patrolmarks' right to list of available rights
authorumherirrender <umherirrender_de.wp@web.de>
Mon, 13 Aug 2012 07:51:02 +0000 (09:51 +0200)
committerumherirrender <umherirrender_de.wp@web.de>
Mon, 13 Aug 2012 07:51:02 +0000 (09:51 +0200)
now it is shown and selectable on api (list=allusers&aurights=) and
Special:GlobalGroupPermissions (from CentralAuth)

Change-Id: I9464109c2d1648e5668e545b9c7109ced656f4d7

includes/User.php

index d2ebabb..40577fe 100644 (file)
@@ -141,6 +141,7 @@ class User {
                'noratelimit',
                'override-export-depth',
                'patrol',
+               'patrolmarks',
                'protect',
                'proxyunbannable',
                'purge',