PHP获取毫秒时间戳

1s=1000ms(毫秒)=1000000(微秒)
1s=10^3ms(毫秒)=10^6μs(微秒)

php提供了内置函数time()用于获取秒时间戳，microtime()用于获取时间戳和微秒数，获取毫秒时间戳可以使用以下函数：

function microtime_float(){
    list($usec, $sec) = explode(" ", microtime());
    return ((int)substr($usec,2,3) + $sec*1000);
}