MarcoAurelio has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/338340 )
Change subject: 'shellmanagers' to 'shellmanager' on wikitech.wikimedia.org
......................................................................
'shellmanagers' to 'shellmanager' on wikitech.wikimedia.org
Bug: T158039
Change-Id: I035b10e26e96cf8f00f30f8624686c331b88e324
---
M wmf-config/InitialiseSettings.php
1 file changed, 2 insertions(+), 2 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config
refs/changes/40/338340/1
diff --git a/wmf-config/InitialiseSettings.php
b/wmf-config/InitialiseSettings.php
index 545c315..debee50 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -8492,7 +8492,7 @@
'oathauth' => [ 'oathauth-api-all' => true ], // T153487
'oauthadmin' => [ 'autopatrol' => true ],
'shell' => [ 'loginviashell' => true ],
- 'shellmanagers' => [
+ 'shellmanager' => [
'autopatrol' => true,
'userrights' => false,
],
@@ -9989,7 +9989,7 @@
],
'+wikitech' => [
'contentadmin' => [ 'autopatrolled' ],
- 'shellmanagers' => [ 'shell' ],
+ 'shellmanager' => [ 'shell' ],
'sysop' => [ 'autopatrolled' ],
],
'+wuuwiki' => [
--
To view, visit https://gerrit.wikimedia.org/r/338340
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I035b10e26e96cf8f00f30f8624686c331b88e324
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: MarcoAurelio <strig...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
