Hello all,
MediaWiki 1.4beta6
I had a problem with the application putting :443 in each https link.
There's an easy fix in DefaultSettings.php, by modifying the code which
determines a reasonable default for $wgServer (or simply overriding the
default in LocalSettings.php with $wgServer, which was not as elegant):
if (isset( $_SERVER['SERVER_PORT'] )) {
if ($_SERVER['SERVER_PORT'] != 80)
if ($wgProto == 'https' &&
$_SERVER['SERVER_PORT'] ==
443)
// If we're using HTTPS, don't add a port
$wgServer .= "";
else
$wgServer .= ":" . $_SERVER['SERVER_PORT'];
}
This goes right before the unset($wgProto); line in place of the
previous if clause.
Someone who cares more can make the innermost-IF clause more elegant by
not having an effectively null statement.
Cheers,
Doug