[MediaWiki-commits] [Gerrit] Remove FlaggedRevs config on metawiki - change (operations/mediawiki-config)
jenkins-bot has submitted this change and it was merged. Change subject: Remove FlaggedRevs config on metawiki .. Remove FlaggedRevs config on metawiki Added for Zero testing purposes, which is now over. Bug: T86443 Change-Id: Ic87ef159ad1304d0a2585df59f532f272408f6ed --- M flaggedrevs.dblist M wmf-config/flaggedrevs.php 2 files changed, 0 insertions(+), 14 deletions(-) Approvals: Chad: Looks good to me, approved Yurik: Looks good to me, but someone else must approve jenkins-bot: Verified diff --git a/flaggedrevs.dblist b/flaggedrevs.dblist index 3bff8d6..e9d5729 100644 --- a/flaggedrevs.dblist +++ b/flaggedrevs.dblist @@ -27,7 +27,6 @@ iswiktionary kawiki lawikisource -metawiki mkwiki plwiki plwikisource diff --git a/wmf-config/flaggedrevs.php b/wmf-config/flaggedrevs.php index 8530825..74fa63a 100644 --- a/wmf-config/flaggedrevs.php +++ b/wmf-config/flaggedrevs.php @@ -503,19 +503,6 @@ $wgGroupPermissions['trusted']['autoreview'] = true; } -elseif ( $wgDBname == 'metawiki' ) { - $wgFlaggedRevsNamespaces = array ( 480 /* NS_ZERO */ ); - $wgFlaggedRevTags = array( - 'safeness' = array( 'levels' = 1, 'quality' = 2, 'pristine' = 3 ), - ); - $wgFlagRestrictions = array( 'safeness' = array( 'review' = 1 ) ); - $wgFlaggedRevsAutopromote = false; - unset( $wgGroupPermissions['editor'] ); - unset( $wgGroupPermissions['reviewer'] ); - $wgGroupPermissions['zeroadmin']['review'] = true; - $wgGroupPermissions['zeroadmin']['autoreview'] = true; -} - elseif ( $wgDBname == 'plwiki' ) { // Bugs 43617, 48043 $wgFlaggedRevsNamespaces = array( NS_MAIN, NS_TEMPLATE, NS_CATEGORY, NS_HELP, 100, 828 ); -- To view, visit https://gerrit.wikimedia.org/r/184133 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ic87ef159ad1304d0a2585df59f532f272408f6ed Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Glaisher glaisher.w...@gmail.com Gerrit-Reviewer: Chad ch...@wikimedia.org Gerrit-Reviewer: Yurik yu...@wikimedia.org Gerrit-Reviewer: jenkins-bot ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Remove FlaggedRevs config on metawiki - change (operations/mediawiki-config)
Glaisher has uploaded a new change for review. https://gerrit.wikimedia.org/r/184133 Change subject: Remove FlaggedRevs config on metawiki .. Remove FlaggedRevs config on metawiki Added for Zero testing purposes, which is now over. Bug: T86443 Change-Id: Ic87ef159ad1304d0a2585df59f532f272408f6ed --- M flaggedrevs.dblist M wmf-config/flaggedrevs.php 2 files changed, 0 insertions(+), 14 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config refs/changes/33/184133/1 diff --git a/flaggedrevs.dblist b/flaggedrevs.dblist index 3bff8d6..e9d5729 100644 --- a/flaggedrevs.dblist +++ b/flaggedrevs.dblist @@ -27,7 +27,6 @@ iswiktionary kawiki lawikisource -metawiki mkwiki plwiki plwikisource diff --git a/wmf-config/flaggedrevs.php b/wmf-config/flaggedrevs.php index 8530825..74fa63a 100644 --- a/wmf-config/flaggedrevs.php +++ b/wmf-config/flaggedrevs.php @@ -503,19 +503,6 @@ $wgGroupPermissions['trusted']['autoreview'] = true; } -elseif ( $wgDBname == 'metawiki' ) { - $wgFlaggedRevsNamespaces = array ( 480 /* NS_ZERO */ ); - $wgFlaggedRevTags = array( - 'safeness' = array( 'levels' = 1, 'quality' = 2, 'pristine' = 3 ), - ); - $wgFlagRestrictions = array( 'safeness' = array( 'review' = 1 ) ); - $wgFlaggedRevsAutopromote = false; - unset( $wgGroupPermissions['editor'] ); - unset( $wgGroupPermissions['reviewer'] ); - $wgGroupPermissions['zeroadmin']['review'] = true; - $wgGroupPermissions['zeroadmin']['autoreview'] = true; -} - elseif ( $wgDBname == 'plwiki' ) { // Bugs 43617, 48043 $wgFlaggedRevsNamespaces = array( NS_MAIN, NS_TEMPLATE, NS_CATEGORY, NS_HELP, 100, 828 ); -- To view, visit https://gerrit.wikimedia.org/r/184133 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ic87ef159ad1304d0a2585df59f532f272408f6ed Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Glaisher glaisher.w...@gmail.com ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits