php获取毫秒时间戳.txt

function makeMicroTime(){
        $time = explode ( " ", microtime () );
        $time = $time [1] . ($time [0] * 1000);
        $time2 = explode ( ".", $time );
        $time = $time2 [0];
         
        return $time;
    }
//该片段来自于http://www.codesnippet.cn/detail/1407201513082.html