but then we have to worry about http[s]/port #/etc. $path = ''; if( isset( $_SERVER['SCRIPT_NAME'] )) { $path = htmlspecialchars( preg_replace('/index.php/', '', $_SERVER['SCRIPT_NAME']) ); } ?> MediaWiki <?php echo $wgVersion ?> The MediaWiki logo

MediaWiki

config/LocalSettings.php to the parent directory.' ); } else { echo( "Please set up the wiki first." ); } ?>