Description:
------------
Under PHP 7.3.0, cURL appears to be returning times in microseconds instead of seconds.

Running PHP executables downloaded from from http://windows.php.net

The following example is from the curl_getinfo documentation page -- https://secure.php.net/manual/en/function.curl-getinfo.php

Test script:
---------------
<?php
// Create a cURL handle
$ch = curl_init('http://www.example.com/');

// Execute
curl_exec($ch);

// Check if any error occurred
if (!curl_errno($ch)) {
  $info = curl_getinfo($ch);
  echo 'Took ', $info['total_time'], ' seconds to send a request to ', $info['url'], "\n";
}

// Close handle
curl_close($ch);
?>


Expected result:
----------------
The expected result is less than 0.5 seconds "to send a request". 

This is what I'm seeing when running this script with PHP 7.2.12 

Actual result:
--------------
I'm getting values like 110000 seconds "to send a request" (30.5 hours).

Same script run with PHP 7.3.0

Have the same microseconds-not-seconds problem with all the time values

Total_Time
Namelookup_Time
Connect_Time
Pretransfer_Time
Starttransfer_Time