jenkins-bot has submitted this change and it was merged.
Change subject: (bug 52101) add Index and Page namespaces to FlaggedRevs for
ruwikisource
......................................................................
(bug 52101) add Index and Page namespaces to FlaggedRevs for ruwikisource
Needed to prevent "rechecking" all pages in main namespace with transclusion of
Page or Index.
Bug: 52101
Change-Id: If121ab60babf44f911f4dc848a6d7540119cde52
---
M wmf-config/flaggedrevs.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Reedy: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/flaggedrevs.php b/wmf-config/flaggedrevs.php
index a9e2ab5..2b32515 100644
--- a/wmf-config/flaggedrevs.php
+++ b/wmf-config/flaggedrevs.php
@@ -538,7 +538,7 @@
elseif ( $wgDBname == 'idwiki' ) {}
elseif ( $wgDBname == 'ruwikisource' ) {
- $wgFlaggedRevsNamespaces = array_merge( $wgFlaggedRevsNamespaces,
array( NS_HELP, NS_PROJECT ) );
+ $wgFlaggedRevsNamespaces = array_merge( $wgFlaggedRevsNamespaces,
array( NS_HELP, NS_PROJECT, 104, 106 ) );
$wgFlaggedRevsAutopromote = $wmfStandardAutoPromote;
$wgGroupPermissions['sysop']['stablesettings'] = true; // -aaron 3/20/10
--
To view, visit https://gerrit.wikimedia.org/r/76240
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If121ab60babf44f911f4dc848a6d7540119cde52
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: TTO <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
