When detecting $wgServer, do not fall back to $_SERVER['HTTP_HOST']. It's unlikely...
authorTim Starling <tstarling@users.mediawiki.org>
Tue, 7 Jun 2011 03:31:09 +0000 (03:31 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Tue, 7 Jun 2011 03:31:09 +0000 (03:31 +0000)
includes/DefaultSettings.php

index f56f233..f3b5a1f 100644 (file)
@@ -63,8 +63,6 @@ if( isset( $_SERVER['SERVER_NAME'] )
        $serverName = $_SERVER['SERVER_NAME'];
 } elseif( isset( $_SERVER['HOSTNAME'] ) ) {
        $serverName = $_SERVER['HOSTNAME'];
-} elseif( isset( $_SERVER['HTTP_HOST'] ) ) {
-       $serverName = $_SERVER['HTTP_HOST'];
 } elseif( isset( $_SERVER['SERVER_ADDR'] ) ) {
        $serverName = $_SERVER['SERVER_ADDR'];
 } else {