#
$wgRequestTime = microtime();
-session_cache_limiter( "private, must-revalidate" );
-session_start();
-session_register( "wsUserID" );
-session_register( "wsUserName" );
-session_register( "wsUserPassword" );
-session_register( "wsUploadFiles" );
-
unset( $IP );
ini_set( "allow_url_fopen", 0 ); # For security...
include_once( "./LocalSettings.php" );
-$include_path = ini_get( "include_path" );
# Windows requires ';' as separator, ':' for Unix
-if( strchr( $include_path, ";" ) ) $sep = ";"; else $sep = ":";
-ini_set( "include_path", $IP . $sep . ini_get( "include_path" ) );
+$sep = strchr( $include_path = ini_get( "include_path" ), ";" ) ? ";" : ":";
+ini_set( "include_path", "$IP$sep$include_path" );
include_once( "Setup.php" );