dépôts
/
lhc
/
web
/
wiklou.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Wrap redirectpagesub in a <span>
[lhc/web/wiklou.git]
/
profileinfo.php
diff --git
a/profileinfo.php
b/profileinfo.php
index
4117d97
..
8120599
100644
(file)
--- a/
profileinfo.php
+++ b/
profileinfo.php
@@
-28,11
+28,7
@@
ini_set( 'zlib.output_compression', 'off' );
$wgEnableProfileInfo = $wgProfileToDatabase = false;
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' );
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 );
}
$s = new profile_point( 'SQL Queries', 0, $sqltotal, 0, 0 );
- foreach ( $queries as $q )
+ foreach ( $queries as $q )
{
$s->add_child( $q );
$s->add_child( $q );
+ }
$points[] = $s;
usort( $points, 'compare_point' );
$points[] = $s;
usort( $points, 'compare_point' );