jenkins-bot has submitted this change and it was merged.
Change subject: Set $wgOATHAuthAccountPrefix to 'Wikimedia' for WMF CA wikis
......................................................................
Set $wgOATHAuthAccountPrefix to 'Wikimedia' for WMF CA wikis
Change-Id: I0e38f9c5f16f517edfa3bc0dde14d6f14441c58e
---
M wmf-config/CommonSettings.php
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Reedy: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index d878f92..79b2ce2 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -3147,6 +3147,7 @@
}
if ( $wmgUseCentralAuth ) {
+ $wgOATHAuthAccountPrefix = 'Wikimedia';
$wgOATHAuthDatabase = 'centralauth';
}
}
--
To view, visit https://gerrit.wikimedia.org/r/320266
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I0e38f9c5f16f517edfa3bc0dde14d6f14441c58e
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com>
Gerrit-Reviewer: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
