follow up r61352 forgot to add the new global.

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 450d69b..c67bd26 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -3697,6 +3697,14 @@ $wgTrustedMediaFormats= array(
  */
 $wgAllowSpecialInclusion = true;
 
+/**
+ * 'curl' to use curl or 'php' to use pure php (for which
+ * allow_url_fopen needs to be enabled).  If left as false,
+ * HttpFunctions will attempt to use curl if it is available.  The use
+ * of curl is strongly encouraged.
+ */
+$wgHTTPEngine = false;
+
 /**
  * Timeout for HTTP requests done internally
  */