From ea20bbcbf9d265f37f022c56764bad2e2329aa39 Mon Sep 17 00:00:00 2001 From: =?utf8?q?=C3=86var=20Arnfj=C3=B6r=C3=B0=20Bjarmason?= Date: Thu, 31 Mar 2005 02:22:03 +0000 Subject: [PATCH] Display something nicer looking when the wiki hasn't been configured. --- index.php | 46 ++++++++++++++++++++++++++++++++++++++++------ 1 file changed, 40 insertions(+), 6 deletions(-) diff --git a/index.php b/index.php index f1d52cacab..6fc5565c76 100644 --- a/index.php +++ b/index.php @@ -1,5 +1,4 @@ config/LocalSettings.php to the parent directory.\n" ); - } else { - die( "You'll have to set the wiki up first!" ); - } + define( 'MEDIAWIKI', true ); + require_once( 'includes/DefaultSettings.php' ); # used for printing the version +?> + + + + MediaWiki <?php echo $wgVersion ?> + + + + + + The MediaWiki logo

+ +

MediaWiki

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

+ + +