(bug 13137) Bots to edit protected pages
authorHuji <huji@users.mediawiki.org>
Mon, 25 Feb 2008 10:36:08 +0000 (10:36 +0000)
committerHuji <huji@users.mediawiki.org>
Mon, 25 Feb 2008 10:36:08 +0000 (10:36 +0000)
RELEASE-NOTES
includes/DefaultSettings.php
includes/Title.php

index 78a3dd4..6298582 100644 (file)
@@ -37,6 +37,7 @@ it from source control: http://www.mediawiki.org/wiki/Download_from_SVN
 * (bug 13084) Increase size of source/destination filename fields in upload form
 * (bug 13115) rebuildrecentchanges should print the current value of $wgRCMaxAge
 * (bug 13132) Unable to unprotect pages protected with earlier versions of MediaWiki
+* (bug 13137) Bots to edit protected pages
 
 === API changes in 1.13 ===
 
index 8e048cc..eee944f 100644 (file)
@@ -1132,6 +1132,7 @@ $wgGroupPermissions['sysop']['move']            = true;
 $wgGroupPermissions['sysop']['patrol']          = true;
 $wgGroupPermissions['sysop']['autopatrol']      = true;
 $wgGroupPermissions['sysop']['protect']         = true;
+$wgGroupPermissions['sysop']['editprotected']   = true;
 $wgGroupPermissions['sysop']['proxyunbannable'] = true;
 $wgGroupPermissions['sysop']['rollback']        = true;
 $wgGroupPermissions['sysop']['trackback']       = true;
index 8a9d3ee..5db668a 100644 (file)
@@ -1195,7 +1195,7 @@ class Title {
                foreach( $this->getRestrictions($action) as $right ) {
                        // Backwards compatibility, rewrite sysop -> protect
                        if ( $right == 'sysop' ) {
-                               $right = 'protect';
+                               $right = 'editprotected';
                        }
                        if( '' != $right && !$user->isAllowed( $right ) ) {
                                $errors[] = array( 'protectedpagetext', $right );