Jalexander has uploaded a new change for review. https://gerrit.wikimedia.org/r/75070
Change subject: Make FlaggedRev rights available to global groups ...................................................................... Make FlaggedRev rights available to global groups Adding a couple flaggedrev rights to wgAvailableRights so that they are available for the global group options. Change-Id: I6b68b0395eb787a0812baca236f2450b55be52f4 --- M wmf-config/CommonSettings.php 1 file changed, 6 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config refs/changes/70/75070/1 diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php index 782bd5d..0afde09 100644 --- a/wmf-config/CommonSettings.php +++ b/wmf-config/CommonSettings.php @@ -596,6 +596,12 @@ if ( $wmgUseFlaggedRevs ) { include( "$wmfConfigDir/flaggedrevs.php" ); } +#Adding Flaggedrevs rights so that they are available for globalgroups/staff rights - JRA 2013-07-22 +$wgAvailableRights[] = 'stablesettings'; +$wgAvailableRights[] = 'review'; +$wgAvailableRights[] = 'unreviewedpages'; +$wgAvailableRights[] = 'movestable'; +$wgAvailableRights[] = 'validate'; $wgUseAjax = true; $wgCategoryTreeDynamicTag = true; -- To view, visit https://gerrit.wikimedia.org/r/75070 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I6b68b0395eb787a0812baca236f2450b55be52f4 Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Jalexander <jalexan...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits