2daa3acf08a250526b4ab4cf13b428d87c079cee
4 * Get the contents of a file by HTTP
6 * if $timeout is 'default', $wgHTTPTimeout is used
8 function wfGetHTTP( $url, $timeout = 'default' ) {
9 global $wgServer, $wgHTTPTimeout;
12 # Use curl if available
13 if ( function_exists( 'curl_init' ) ) {
14 $c = curl_init( $url );
15 if ( wfIsLocalURL( $url ) ) {
16 curl_setopt( $c, CURLOPT_PROXY
, 'localhost:80' );
18 if ( $timeout == 'default' ) {
19 $timeout = $wgHTTPTimeout;
21 curl_setopt( $c, CURLOPT_TIMEOUT
, $timeout );
24 $text = ob_get_contents();
27 # Otherwise use file_get_contents, or its compatibility function from GlobalFunctions.php
28 # This may take 3 minutes to time out, and doesn't have local fetch capabilities
29 $url_fopen = ini_set( 'allow_url_fopen', 1 );
30 $text = file_get_contents( $url );
31 ini_set( 'allow_url_fopen', $url_fopen );
37 * Check if the URL can be served by localhost
39 function wfIsLocalURL( $url ) {
42 if ( preg_match( '!^http://([\w.-]+)[/:].*$!', $url, $matches ) ) {
45 $domainParts = explode( '.', $host );
46 // Check if this domain or any superdomain is listed in $wgConf as a local virtual host
47 $domainParts = array_reverse( $domainParts );
48 for ( $i = 0; $i < count( $domainParts ); $i++
) {
49 $domainPart = $domainParts[$i];
51 $domain = $domainPart;
53 $domain = $domainPart . '.' . $domain;
55 if ( $wgConf->isLocalVHost( $domain ) ) {