]> scripts.mit.edu Git - autoinstallsdev/mediawiki.git/blobdiff - includes/HttpFunctions.php
MediaWiki 1.30.2
[autoinstallsdev/mediawiki.git] / includes / HttpFunctions.php
diff --git a/includes/HttpFunctions.php b/includes/HttpFunctions.php
deleted file mode 100644 (file)
index 19cd63e..0000000
+++ /dev/null
@@ -1,69 +0,0 @@
-<?php
-/**
- * Various HTTP related functions
- */
-
-/**
- * Get the contents of a file by HTTP
- * 
- * if $timeout is 'default', $wgHTTPTimeout is used
- */
-function wfGetHTTP( $url, $timeout = 'default' ) {
-       global $wgServer, $wgHTTPTimeout, $wgHTTPProxy;
-       
-
-       # Use curl if available
-       if ( function_exists( 'curl_init' ) ) {
-               $c = curl_init( $url );
-               if ( wfIsLocalURL( $url ) ) {
-                       curl_setopt( $c, CURLOPT_PROXY, 'localhost:80' );
-               } else if ($wgHTTPProxy)
-                       curl_setopt($c, CURLOPT_PROXY, $wgHTTPProxy);
-
-               if ( $timeout == 'default' ) {
-                       $timeout = $wgHTTPTimeout;
-               }
-               curl_setopt( $c, CURLOPT_TIMEOUT, $timeout );
-               ob_start();
-               curl_exec( $c );
-               $text = ob_get_contents();
-               ob_end_clean();
-               curl_close( $c );
-       } else {
-               # Otherwise use file_get_contents, or its compatibility function from GlobalFunctions.php
-               # This may take 3 minutes to time out, and doesn't have local fetch capabilities
-               $url_fopen = ini_set( 'allow_url_fopen', 1 );
-               $text = file_get_contents( $url );
-               ini_set( 'allow_url_fopen', $url_fopen );
-       }
-       return $text;
-}
-
-/**
- * Check if the URL can be served by localhost
- */
-function wfIsLocalURL( $url ) {
-       global $wgConf;
-       // Extract host part
-       if ( preg_match( '!^http://([\w.-]+)[/:].*$!', $url, $matches ) ) {
-               $host = $matches[1];
-               // Split up dotwise
-               $domainParts = explode( '.', $host );
-               // Check if this domain or any superdomain is listed in $wgConf as a local virtual host
-               $domainParts = array_reverse( $domainParts );
-               for ( $i = 0; $i < count( $domainParts ); $i++ ) {
-                       $domainPart = $domainParts[$i];
-                       if ( $i == 0 ) {
-                               $domain = $domainPart;
-                       } else {
-                               $domain = $domainPart . '.' . $domain;
-                       }
-                       if ( $wgConf->isLocalVHost( $domain ) ) {
-                               return true;
-                       }
-               }
-       }
-       return false;
-}
-
-?>