diff options
Diffstat (limited to 'includes/WebStart.php')
| -rw-r--r-- | includes/WebStart.php | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/includes/WebStart.php b/includes/WebStart.php index edc58cb3..d62b4a62 100644 --- a/includes/WebStart.php +++ b/includes/WebStart.php @@ -46,7 +46,6 @@ if ( function_exists ( 'getrusage' ) ) { $wgRUstart = array(); } unset( $IP ); -@ini_set( 'allow_url_fopen', 0 ); # For security # Valid web server entry point, enable includes. # Please don't move this line to includes/Defines.php. This line essentially @@ -66,7 +65,11 @@ if ( $IP === false ) { # Start profiler -require_once( "$IP/StartProfiler.php" ); +if( file_exists("$IP/StartProfiler.php") ) { + require_once( "$IP/StartProfiler.php" ); +} else { + require_once( "$IP/includes/ProfilerStub.php" ); +} wfProfileIn( 'WebStart.php-conf' ); # Load up some global defines. |