jenkins-bot has submitted this change and it was merged.
Change subject: Added zero portal impersonator user
......................................................................
Added zero portal impersonator user
Change-Id: I366a4584296e76926ca08e472d54c42ddd8026ab
---
M wmf-config/CommonSettings.php
1 file changed, 2 insertions(+), 0 deletions(-)
Approvals:
Yurik: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 2aa99de..df3f423 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -2729,6 +2729,8 @@
$wgGroupPermissions['zeroscriptips']['jsonconfig-flush'] = true;
$wgGroupPermissions['zeroscriptips'] =
$wgGroupPermissions['zeroscriptips'] + $zpUserRights;
+ $wgZeroPortalImpersonateUser = 'Impersonator';
+
unset( $zpUserRights );
} else {
// metawiki
--
To view, visit https://gerrit.wikimedia.org/r/161010
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I366a4584296e76926ca08e472d54c42ddd8026ab
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Yurik <[email protected]>
Gerrit-Reviewer: Yurik <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
