jenkins-bot has submitted this change and it was merged. Change subject: Remove 'gather-hidelist' from CommonSettings.php ......................................................................
Remove 'gather-hidelist' from CommonSettings.php The Gather extension has been removed from WMF wikis and so this right is no longer needed. Change-Id: I4d6dcca553a7a0cd082895b4d8d2e348b6ae3666 --- M wmf-config/CommonSettings.php 1 file changed, 0 insertions(+), 3 deletions(-) Approvals: Dereckson: Looks good to me, approved jenkins-bot: Verified diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php index f20d4f6..ed3183c 100644 --- a/wmf-config/CommonSettings.php +++ b/wmf-config/CommonSettings.php @@ -648,9 +648,6 @@ $wgAvailableRights[] = 'flow-delete'; $wgAvailableRights[] = 'moodbar-admin'; // To allow global groups to include this right -AG -// Enable gather-hidelist for global user groups - JRA 4-1-2015 T94652 -$wgAvailableRights[] = 'gather-hidelist'; - // Checkuser $wgGrantPermissions['checkuser']['checkuser'] = true; $wgGrantPermissions['checkuser']['checkuser-log'] = true; -- To view, visit https://gerrit.wikimedia.org/r/303803 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I4d6dcca553a7a0cd082895b4d8d2e348b6ae3666 Gerrit-PatchSet: 2 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: MarcoAurelio <strig...@gmail.com> Gerrit-Reviewer: Dereckson <dereck...@espace-win.org> Gerrit-Reviewer: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
