$wgEnableProfileInfo = $wgProfileToDatabase = false;
if ( isset( $_SERVER['MW_COMPILED'] ) ) {
- require ( 'phase3/includes/WebStart.php' );
+ require ( 'core/includes/WebStart.php' );
} else {
- require ( dirname( __FILE__ ) . '/includes/WebStart.php' );
+ require ( __DIR__ . '/includes/WebStart.php' );
}
text-align: right;
}
td.timep, td.tpc, td.tpr {
- background-color: #fffff0;
+ background-color: #ffff80;
}
td.memoryp, td.mpc, td.mpr {
- background-color: #f0f8ff;
+ background-color: #80f8ff;
}
td.count, td,cpr {
- background-color: #f0fff0;
+ background-color: #80ff80;
}
td.name {
- background-color: #f9f9f9;
+ background-color: #89f9f9;
+ }
+
+ tr:hover {
+ font-weight: bold;
}
</style>
</head>
$dbr = wfGetDB( DB_SLAVE );
-if( !$dbr->tableExists( 'profileinfo' ) ) {
- echo "<p>No 'profileinfo' table exists, so we can't show you anything.</p>\n";
+if( !$dbr->tableExists( 'profiling' ) ) {
+ echo "<p>No 'profiling' table exists, so we can't show you anything.</p>\n";
echo "<p>If you want to log profiling data, create the table using "
. "<tt>maintenance/archives/patch-profiling.sql</tt> and enable "
. "<tt>\$wgProfileToDatabase</tt>.</p>\n";
}
};
-function compare_point( $a, $b ) {
+function compare_point(profile_point $a, profile_point $b) {
global $sort;
switch ( $sort ) {
case "name":