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 d2ebabb..d903f06 100644 (file)
--- a/includes/User.php
+++ b/includes/User.php
@@ -123,6 +123,7 @@ class User {
                'deleterevision',
                'edit',
                'editinterface',
+               'editprotected',
                'editusercssjs', #deprecated
                'editusercss',
                'edituserjs',