Merge pull request #3941 from glensc/microtime
commit753d9add8c516f6c3033ee28c43def76d6abc45a
authorAndreas Gohr <andi@splitbrain.org>
Thu, 6 Apr 2023 06:51:25 +0000 (6 08:51 +0200)
committerGitHub <noreply@github.com>
Thu, 6 Apr 2023 06:51:25 +0000 (6 08:51 +0200)
tree734cde95f2c4304cd395f07c8473f089615ab737
parentbe83736686f5e8bc1ca674194b5cc8dc742abc23
parente8b8bf8cecdecd0086b42074d698626b315b923d
Merge pull request #3941 from glensc/microtime

HttpClient::time(): use microtime(true) directly
inc/HTTP/HTTPClient.php