jenkins-bot has submitted this change and it was merged.

Change subject: Fix broken $wgExternalServers example setting
......................................................................


Fix broken $wgExternalServers example setting

Just reference $wgDBservers instead, which uses the same format.

Change-Id: Iaa32cb067f9487b459925310ac4c52efe3f4a3f1
---
M includes/DefaultSettings.php
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  MaxSem: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 135c3e5..f0e9e83 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -2085,7 +2085,7 @@
  * Create a cluster named 'cluster1' containing three servers:
  * @code
  * $wgExternalServers = [
- *     'cluster1' => [ 'srv28', 'srv29', 'srv30' ]
+ *     'cluster1' => <array in the same format as $wgDBservers>
  * ];
  * @endcode
  *

-- 
To view, visit https://gerrit.wikimedia.org/r/311613
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Iaa32cb067f9487b459925310ac4c52efe3f4a3f1
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Aaron Schulz <asch...@wikimedia.org>
Gerrit-Reviewer: MaxSem <maxsem.w...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to