From fc4cc143d23a73da0892dd0caf72325e8eb54459 Mon Sep 17 00:00:00 2001 From: Antoine Musso Date: Tue, 20 Dec 2005 19:28:41 +0000 Subject: [PATCH] attempt to fix ini_set error by using set_include_path Patch by robertoz --- config/index.php | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/config/index.php b/config/index.php index b660c2dcda..17a3c722fb 100644 --- a/config/index.php +++ b/config/index.php @@ -124,7 +124,10 @@ header( "Content-type: text/html; charset=utf-8" ); # $IP = dirname( dirname( __FILE__ ) ); $sep = PATH_SEPARATOR; -ini_set( "include_path", ".$sep$IP$sep$IP/includes$sep$IP/languages" ); +if( !ini_set( "include_path", ".$sep$IP$sep$IP/includes$sep$IP/languages" ) ) { + set_include_path( ".$sep$IP$sep$IP/includes$sep$IP/languages" ); +} + define( "MEDIAWIKI", true ); define( "MEDIAWIKI_INSTALL", true ); @@ -1026,7 +1029,6 @@ if( count( $errs ) ) { /* -------------------------------------------------------------------------------------- */ function writeSuccessMessage() { - global $conf; if ( ini_get( 'safe_mode' ) && !ini_get( 'open_basedir' ) ) { echo <<Installation successful!

-- 2.20.1