From bacbb0c4cffbf242769efca12e192ed42fee5a53 Mon Sep 17 00:00:00 2001 From: umherirrender Date: Mon, 13 Aug 2012 08:46:00 +0200 Subject: [PATCH] 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 | 1 + 1 file changed, 1 insertion(+) 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', -- 2.20.1