For compatibility (DefaultSettings.php currently crashes when LocalSettings.php doesn't exist).

This commit is contained in:
Rotem Liss 2008-05-10 16:29:19 +00:00
parent 3ad925a207
commit 2968d3969a

View file

@ -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();