missing definition for global already present

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 9773a1b..301f9a3 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1556,6 +1556,12 @@ $wgCountCategorizedImagesAsUsed = false;
  */
 $wgExternalStores = false;
 
+/**
+ * An array of external mysql servers, e.g.
+ * $wgExternalServers = array( 'cluster1' => array( 'srv28', 'srv29', 'srv30' ) );
+ */
+$wgExternalServers = array();
+
 /**
 * list of trusted media-types and mime types.
 * Use the MEDIATYPE_xxx constants to represent media types.