title: How to get current time in ms in PHP?
body: <p>What I want to get is the very like <code>time()</code>,but should be accurate in ms:</p>
  
  <pre><code>2010-11-15 21:21:00:987
  </code></pre>
  
  <p>Is that possible in PHP?</p>