X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=profileinfo.php;h=cbbf2abdafc7e26468f7670589861004a53cdc61;hb=f6b92231fd584e407dc2aab39c3574448c5615c5;hp=068c58b83bcf5449fe0f3923c70db6f9d4d1a14c;hpb=bb0dfff70f3d2fb5e7159a77018206f13eed5415;p=lhc%2Fweb%2Fwiklou.git diff --git a/profileinfo.php b/profileinfo.php index 068c58b83b..cbbf2abdaf 100644 --- a/profileinfo.php +++ b/profileinfo.php @@ -95,8 +95,7 @@ header( 'Content-Type: text/html; charset=utf-8' ); .table th, .table td { - padding: 8px; - line-height: 20px; + padding: 0.1em; text-align: left; vertical-align: top; border-top: 1px solid #ddd; @@ -156,9 +155,9 @@ $dbr = wfGetDB( DB_SLAVE ); if( !$dbr->tableExists( 'profiling' ) ) { echo '

No profiling table exists, so we can\'t show you anything.

' - . '

If you want to log profiling data, create the table using ' - . 'maintenance/archives/patch-profiling.sql and enable ' - . '$wgProfileToDatabase.

' + . '

If you want to log profiling data, enable $wgProfileToDatabase' + . ' in your LocalSettings.php and run maintenance/update.php to' + . ' create the profiling table.' . ''; exit( 1 ); } @@ -193,10 +192,12 @@ class profile_point { $ex = isset( $expand[$this->name()] ); + $anchor = str_replace( '"', '', $this->name() ); + if ( !$ex ) { if ( count( $this->children ) ) { $url = getEscapedProfileUrl( false, false, $expand + array( $this->name() => true ) ); - $extet = ' [+]'; + $extet = " [+]"; } else { $extet = ''; } @@ -207,13 +208,13 @@ class profile_point { $e += array( $name => $ep ); } } - - $extet = ' [–]'; + $url = getEscapedProfileUrl( false, false, $e ); + $extet = " [–]"; } ?>

- name() ) . $extet ?> + name() ) ) . $extet ?>
time() / self::$totaltime * 100 ); ?> memory() / self::$totalmemory * 100 ); ?> @@ -348,7 +349,7 @@ function getEscapedProfileUrl( $_filter = false, $_sort = false, $_expand = fals return htmlspecialchars( '?' . - wfArrayToCGI( array( + wfArrayToCgi( array( 'filter' => $_filter ? $_filter : $filter, 'sort' => $_sort ? $_sort : $sort, 'expand' => implode( ',', array_keys( $_expand ) )