PHP获取毫秒时间戳

PHP获取毫秒时间戳代码如下：

list($msec, $sec) = explode(' ', microtime());
$msectime =  (float)sprintf('%.0f', (floatval($msec) + floatval($sec)) * 1000);