From 2968d3969aa084afae299d876fa7bc367e4bd59d Mon Sep 17 00:00:00 2001 From: Rotem Liss Date: Sat, 10 May 2008 16:29:19 +0000 Subject: [PATCH] For compatibility (DefaultSettings.php currently crashes when LocalSettings.php doesn't exist). --- includes/WebStart.php | 1 + 1 file changed, 1 insertion(+) diff --git a/includes/WebStart.php b/includes/WebStart.php index dd02bd956e..1a6d1bebe2 100644 --- a/includes/WebStart.php +++ b/includes/WebStart.php @@ -77,6 +77,7 @@ require_once( "$preIP/includes/Defines.php" ); # the wiki installer need to be launched or the generated file moved from # ./config/ to ./ if( !file_exists( "$preIP/LocalSettings.php" ) ) { + $IP = $preIP; require_once( "$preIP/includes/DefaultSettings.php" ); # used for printing the version require_once( "$preIP/includes/templates/NoLocalSettings.php" ); die(); -- 2.20.1