// Get total page request time and only show pages that longer than
// $wgProfileLimit time (default is 0)
- $now = wfTime();
- $elapsed = $now - $wgRequestTime;
+ $elapsed = microtime( true ) - $wgRequestTime;
if ( $elapsed <= $wgProfileLimit ) {
return;
}
function wfReportTime() {
global $wgRequestTime, $wgShowHostnames;
- $now = wfTime();
- $elapsed = $now - $wgRequestTime;
+ $elapsed = microtime( true ) - $wgRequestTime;
return $wgShowHostnames
? sprintf( '<!-- Served by %s in %01.3f secs. -->', wfHostname(), $elapsed )
while ( $n-- && false != ( $job = Job::pop() ) ) {
$output = $job->toString() . "\n";
- $t = -wfTime();
+ $t = - microtime( true );
$success = $job->run();
- $t += wfTime();
+ $t += microtime( true );
$t = round( $t * 1000 );
if ( !$success ) {
$output .= "Error: " . $job->getLastError() . ", Time: $t ms\n";
$text = $rev->getText();
}
- $time = - wfTime();
+ $time = - microtime( true );
$this->parserOutput = $wgParser->parse( $text, $this->page->getTitle(),
$this->parserOptions, true, true, $this->revid );
- $time += wfTime();
+ $time += microtime( true );
# Timing hack
if ( $time > 3 ) {
'function' => $function,
'master' => (bool) $isMaster,
'time' > 0.0,
- '_start' => wfTime(),
+ '_start' => microtime( true ),
);
return count( self::$query ) - 1;
return;
}
- self::$query[$id]['time'] = wfTime() - self::$query[$id]['_start'];
+ self::$query[$id]['time'] = microtime( true ) - self::$query[$id]['_start'];
unset( self::$query[$id]['_start'] );
}
$debugInfo = array(
'mwVersion' => $wgVersion,
'phpVersion' => PHP_VERSION,
- 'time' => wfTime() - $wgRequestTime,
+ 'time' => microtime( true ) - $wgRequestTime,
'log' => self::$log,
'debugLog' => self::$debug,
'queries' => self::$query,