add 'editprotected' right to list of available rights
authorumherirrender <umherirrender_de.wp@web.de>
Mon, 13 Aug 2012 06:46:00 +0000 (08:46 +0200)
committerumherirrender <umherirrender_de.wp@web.de>
Mon, 13 Aug 2012 06:46:00 +0000 (08:46 +0200)
commitbacbb0c4cffbf242769efca12e192ed42fee5a53
tree8e0a7dfae7637d436808dc20842d04fd515a56c9
parent8589f2ecad3f3a3b3f75cc0e9d8a62b2eab3036e
add 'editprotected' right to list of available rights

Follow up bug 13137, now it should be shown and selectable on
Special:GlobalGroupPermissions (of CentralAuth)

Change-Id: Iebdf0454ff3636585983b07eab3d2387f404498f
includes/User.php