Use $wgRequestTime in wfDebugTimer() to get the time since the start of the request...
authorAlexandre Emsenhuber <ialex@users.mediawiki.org>
Thu, 2 Feb 2012 10:33:42 +0000 (10:33 +0000)
committerAlexandre Emsenhuber <ialex@users.mediawiki.org>
Thu, 2 Feb 2012 10:33:42 +0000 (10:33 +0000)
commitbb7b900db4e1ceb414834487b3f8f125698024d5
tree7ca2cb97e9a995bcf0bcc02175e5f323dff44d86
parent23ab0f71625bea9dd4befcb739c019095feedc12
Use $wgRequestTime in wfDebugTimer() to get the time since the start of the request instead the difference with the first call so that the time before that call is not ignored and for consistency with other time displays.
includes/GlobalFunctions.php