From a11293c36840f2e1bb9adfef99a5f276929c3ae0 Mon Sep 17 00:00:00 2001
From: Aaron Schulz <aschulz@wikimedia.org>
Date: Mon, 19 Sep 2016 15:16:29 -0700
Subject: [PATCH] Fix broken $wgExternalServers example setting

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

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

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