From: John Du Hart <johnduhart@users.mediawiki.org>
Date: Tue, 3 Jan 2012 04:02:35 +0000 (+0000)
Subject: Using wfTime in place of microtime
X-Git-Tag: 1.31.0-rc.0~25602
X-Git-Url: https://git.cyclocoop.org/%7B%24admin_url%7Dcompta/operations/modifier.php?a=commitdiff_plain;h=e09029f65456a033e6bbdd06820b5976a17009a9;p=lhc%2Fweb%2Fwiklou.git

Using wfTime in place of microtime
---

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,