Using wfTime in place of microtime
authorJohn Du Hart <johnduhart@users.mediawiki.org>
Tue, 3 Jan 2012 04:02:35 +0000 (04:02 +0000)
committerJohn Du Hart <johnduhart@users.mediawiki.org>
Tue, 3 Jan 2012 04:02:35 +0000 (04:02 +0000)
commite09029f65456a033e6bbdd06820b5976a17009a9
treee15b249ce1949b274ed35ff7ec6d46b142a46d41
parente96d2d68023bf46d53fbf860c2d4b3ad1a9b7190
Using wfTime in place of microtime
includes/debug/Debug.php