From ebea5ce1d1f23b5a01c9d9c99ffd4ba80cb56bb4 Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Wed, 22 Apr 2009 19:16:11 +0000
Subject: [PATCH] Use Http::get() rather than file_get_contents()

---
 includes/ExternalStoreHttp.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/ExternalStoreHttp.php b/includes/ExternalStoreHttp.php
index e81395860e..37fbbe6058 100644
--- a/includes/ExternalStoreHttp.php
+++ b/includes/ExternalStoreHttp.php
@@ -6,8 +6,8 @@
  */
 class ExternalStoreHttp {
 	/* Fetch data from given URL */
-	function fetchFromURL($url) {
-		$ret = file_get_contents( $url );
+	function fetchFromURL( $url ) {
+		$ret = Http::get( $url );
 		return $ret;
 	}
 
-- 
2.20.1