近似js的php毫秒

//js:
new Date().getTime()
//php
function defmicrotime(){
    list($usec, $sec) = explode(" ",microtime()); 
    return $sec.round($usec*1000);
}