r44371 MediaWiki - Code Review archive

Repository:MediaWiki
Revision:r44370‎ | r44371 | r44372 >
Date:00:23, 10 December 2008
Author:werdna
Status:ok
Tags:
Comment:
Add some settings which should really be changeable
Modified paths:
  • /trunk/extensions/Configure/Configure.php (modified) (history)

Diff [purge]

Index: trunk/extensions/Configure/Configure.php
@@ -131,7 +131,8 @@
132132 'wgNamespacesToBeSearchedProject', 'wgNamespacesWithSubpages', 'wgNoFollowNsExceptions', 'wgNonincludableNamespaces',
133133 'wgSitemapNamespaces', 'wgAutopromote', 'wgGroupPermissions', 'wgAddGroups', 'wgRemoveGroups', 'wgGroupsAddToSelf',
134134 'wgGroupsRemoveFromSelf', 'wgArticleRobotPolicies', 'wgCapitalLinks', 'wgDefaultLanguageVariant', 'wgExtraSubtitle',
135 - 'wgImportSources', 'wgRateLimits', 'wgAutoConfirmAge', 'wgAutoConfirmCount', 'wgMaxSigChars'
 135+ 'wgImportSources', 'wgRateLimits', 'wgAutoConfirmAge', 'wgAutoConfirmCount', 'wgMaxSigChars', 'wgExtraNamespaces',
 136+ 'wgLocaltimezone', 'wgExemptFromUserRobotsControl',
136137 );
137138
138139 /**
@@ -163,7 +164,7 @@
164165 # Rights for Special:Configure
165166 $wgGroupPermissions['bureaucrat']['configure'] = true;
166167 # $wgGroupPermissions['bureaucrat']['configure-interwiki'] = true;
167 -# $wgGroupPermissions['developer']['configure-all'] = true;
 168+$wgGroupPermissions['bureaucrat']['configure-all'] = true;
168169
169170 # Rights for Special:Extensions
170171 $wgGroupPermissions['bureaucrat']['extensions'] = true;

Status & tagging log