currentTimeMillis() in PHP

Tonight I really wished I had the PHP equivalent of Java's System.getCurrentTimeMillis() or JavaScript's getTime(). I didn't have one, so I whipped one up using microtime. Here it is:

// return our current unix time in millis
function current_millis() {
    list($usec, $sec) = explode(" ", microtime());
    return round(((float)$usec + (float)$sec) * 1000);
}

Here's the classic usage:

  $started = current_millis();
  someQuestiontionableOperation();
  echo "We took: " . (current_millis() - $started) . " millis to run";

Enjoy!