Aaron Schulz has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/311613

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(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/13/311613/1

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: newchange
Gerrit-Change-Id: Iaa32cb067f9487b459925310ac4c52efe3f4a3f1
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Aaron Schulz <asch...@wikimedia.org>

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

Reply via email to