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)
commit6fb938c3acd04f88098ffd3c29443e58b7d227ab
tree8ea28d7315c3121189ae637f969bfd7acbeb42c7
parent8589f2ecad3f3a3b3f75cc0e9d8a62b2eab3036e
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
includes/User.php