From: umherirrender <umherirrender_de.wp@web.de>
Date: Mon, 13 Aug 2012 06:46:00 +0000 (+0200)
Subject: add 'editprotected' right to list of available rights
X-Git-Tag: 1.31.0-rc.0~22748^2
X-Git-Url: https://git.cyclocoop.org/%7B%24www_url%7Dadmin/compta/comptes/journal.php?a=commitdiff_plain;h=bacbb0c4cffbf242769efca12e192ed42fee5a53;p=lhc%2Fweb%2Fwiklou.git

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
---

diff --git a/includes/User.php b/includes/User.php
index d2ebabb124..d903f06499 100644
--- a/includes/User.php
+++ b/includes/User.php
@@ -123,6 +123,7 @@ class User {
 		'deleterevision',
 		'edit',
 		'editinterface',
+		'editprotected',
 		'editusercssjs', #deprecated
 		'editusercss',
 		'edituserjs',