Fix broken $wgExternalServers example setting
authorAaron Schulz <aschulz@wikimedia.org>
Mon, 19 Sep 2016 22:16:29 +0000 (15:16 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Mon, 19 Sep 2016 22:16:29 +0000 (15:16 -0700)
commita11293c36840f2e1bb9adfef99a5f276929c3ae0
treeb7b5300d7e6ef4a054b338ce827dd66a6c9550d4
parent62ebd86b32cadf5335db628525b5b5426050bd0b
Fix broken $wgExternalServers example setting

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

Change-Id: Iaa32cb067f9487b459925310ac4c52efe3f4a3f1
includes/DefaultSettings.php