title: How to convert microtime() to HH:MM:SS:UU
body: <p>I was measuring some curl requests and I used <code>microtime(true)</code>.  The example output would be <code>3.1745569706</code></p>
  
  <p>This is <code>3.1745569706</code> seconds.  I want to convert that to a somewhat more readable format, let's say <code>00:00:03:17455</code> (HOURS:MINUTES:SECONDS:MILLISECONDS)</p>
  
  <pre><code>$maxWaitTime = '3.1745569706';
  echo gmdate("H:i:s.u", $maxWaitTime);
  
  // which returns
  00:00:01.000000
  
  echo date("H:i:s.u" , $maxWaitTime)
  // which returns
  18:00:01.000000
  </code></pre>
  
  <p>That looks wrong.  I'm not quite sure what I'm missing here.</p>
  
  <p>How do I convert microtime() to HH:MM:SS:UU ?</p>