X-Git-Url: https://git.cyclocoop.org/%242?a=blobdiff_plain;f=profileinfo.php;h=f18dfbff8e4e4b11e04121532bf93dfcfbf891cc;hb=e5d2bff74b9bc280cee2355a4b9a4c566fa70dc9;hp=4117d975ddf642ad3662504d9d5dd5ee734c5247;hpb=4777e3f3c400633e77d6eed11bc8c38abfada94a;p=lhc%2Fweb%2Fwiklou.git

diff --git a/profileinfo.php b/profileinfo.php
index 4117d975dd..f18dfbff8e 100644
--- a/profileinfo.php
+++ b/profileinfo.php
@@ -28,11 +28,7 @@
 ini_set( 'zlib.output_compression', 'off' );
 
 $wgEnableProfileInfo = $wgProfileToDatabase = false;
-if ( isset( $_SERVER['MW_COMPILED'] ) ) {
-	require ( 'core/includes/WebStart.php' );
-} else {
-	require ( __DIR__ . '/includes/WebStart.php' );
-}
+require ( __DIR__ . '/includes/WebStart.php' );
 
 header( 'Content-Type: text/html; charset=utf-8' );
 
@@ -390,8 +386,9 @@ if ( isset( $_REQUEST['filter'] ) ) {
 	}
 
 	$s = new profile_point( 'SQL Queries', 0, $sqltotal, 0, 0 );
-	foreach ( $queries as $q )
+	foreach ( $queries as $q ) {
 		$s->add_child( $q );
+	}
 	$points[] = $s;
 
 	usort( $points, 'compare_point' );