From: Brion Vibber <brion@users.mediawiki.org>
Date: Sat, 13 Mar 2004 11:28:05 +0000 (+0000)
Subject: Detect port the server is running on; needed for redirects and other full URLs
X-Git-Tag: 1.3.0beta1~810
X-Git-Url: https://git.cyclocoop.org/admin/?a=commitdiff_plain;h=ccc2b82b3631c2f2f7cc9104da8162e4753fea57;p=lhc%2Fweb%2Fwiklou.git

Detect port the server is running on; needed for redirects and other full URLs
---

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 332d486a8b..11eae782a5 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -11,7 +11,9 @@ $wgVersion			= "1.3.0pre-alpha";
 $wgSitename         = "MediaWiki"; # Please customize!
 $wgMetaNamespace    = FALSE; # will be same as you set $wgSitename
 
-$wgServer           = "http://" . getenv( "SERVER_NAME" );
+$wgServer           = "http://" . $_SERVER["SERVER_NAME"];
+if( $_SERVER["SERVER_PORT"] != 80 ) $wgServer .= ":" . $_SERVER["SERVER_PORT"];
+
 $wgScriptPath	    = "/wiki";
 
 # ATTN: Old installations used wiki.phtml and redirect.phtml -