Remove some PHP4 microtime() compat wrappers
authorKevin Israel <pleasestand@live.com>
Thu, 17 Jul 2014 03:21:00 +0000 (23:21 -0400)
committerKevin Israel <pleasestand@live.com>
Thu, 17 Jul 2014 03:39:48 +0000 (23:39 -0400)
commit7c08af216509dedded42cd054c7b9ef66b7570bc
treed767c391deb1aa2ee431dda5f8a8c5a05946d2a4
parent34b8d8d611a7d65e5ab47da07bc07c68fd6eddab
Remove some PHP4 microtime() compat wrappers

Trivially replaced with microtime( true ).

The following classes still use microtime() without the
argument, though I have chosen not to change them in this
commit because of a possible loss of precision:

* MWCryptHKDF
* UIDGenerator
* UpdateSpecialPages
* UploadStash

Change-Id: I4f594f6ada9e8fce3319b61844b9857d87e9aa99
includes/normal/UtfNormalBench.php
includes/normal/UtfNormalMemStress.php
maintenance/convertLinks.php
maintenance/mctest.php