but then we have to worry about http[s]/port #/etc. $ext = strpos( $_SERVER['SCRIPT_NAME'], 'index.php5' ) === false ? 'php' : 'php5'; $path = ''; if( isset( $_SERVER['SCRIPT_NAME'] )) { $path = htmlspecialchars( preg_replace('/index.php5?/', '', $_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." ); } ?>