From e09029f65456a033e6bbdd06820b5976a17009a9 Mon Sep 17 00:00:00 2001 From: John Du Hart Date: Tue, 3 Jan 2012 04:02:35 +0000 Subject: [PATCH] Using wfTime in place of microtime --- includes/debug/Debug.php | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/includes/debug/Debug.php b/includes/debug/Debug.php index baadc70c72..abda29b27a 100644 --- a/includes/debug/Debug.php +++ b/includes/debug/Debug.php @@ -108,7 +108,7 @@ class MWDebug { 'function' => $function, 'master' => (bool) $isMaster, 'time' > 0.0, - '_start' => microtime( true ), + '_start' => wfTime(), ); return count( self::$query ) - 1; @@ -124,7 +124,7 @@ class MWDebug { return; } - self::$query[$id]['time'] = microtime( true ) - self::$query[$id]['_start']; + self::$query[$id]['time'] = wfTime() - self::$query[$id]['_start']; unset( self::$query[$id]['_start'] ); } @@ -181,7 +181,7 @@ class MWDebug { $debugInfo = array( 'mwVersion' => $wgVersion, 'phpVersion' => PHP_VERSION, - 'time' => microtime( true ) - $wgRequestTime, + 'time' => wfTime() - $wgRequestTime, 'log' => self::$log, 'debugLog' => self::$debug, 'queries' => self::$query, -- 2.20.1