Detect port the server is running on; needed for redirects and other full URLs
authorBrion Vibber <brion@users.mediawiki.org>
Sat, 13 Mar 2004 11:28:05 +0000 (11:28 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Sat, 13 Mar 2004 11:28:05 +0000 (11:28 +0000)
commitccc2b82b3631c2f2f7cc9104da8162e4753fea57
tree855092ff5f810cc8544295b1325b2279ef8e6467
parent9270d4956dce471c7bd42aa5fec24ddd67d49873
Detect port the server is running on; needed for redirects and other full URLs
includes/DefaultSettings.php