wfTime() -> microtime( true ), no need to use the former which is just a wrapper...
authorAlexandre Emsenhuber <ialex@users.mediawiki.org>
Fri, 3 Feb 2012 08:32:34 +0000 (08:32 +0000)
committerAlexandre Emsenhuber <ialex@users.mediawiki.org>
Fri, 3 Feb 2012 08:32:34 +0000 (08:32 +0000)
commitafab06cc73b622d7a6eb05f7ba01b62e1574e2fc
tree419a8092fa672cb3180196885ebea629471dd49a
parent5039373136f14715b3a0c4799d59f0ce5c0d2fca
wfTime() -> microtime( true ), no need to use the former which is just a wrapper to the latter
includes/GlobalFunctions.php
includes/Wiki.php
includes/WikiPage.php
includes/debug/Debug.php