title: PHP - sleep() in milliseconds
body: <p>Does PHP provide a function to sleep in milliseconds? <br>
  Right now, I'm doing something similar to this, as a workaround.</p>
  
  <pre><code>$ms = 10000;
  $seconds = round($ms / 1000, 2);
  sleep($seconds);
  </code></pre>
  
  <p>I'd like to know whether there is a more generic function that is available in PHP to do this, or a better way of handling this.</p>