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
