php獲取毫秒

function getMillisecond() {//獲取毫秒級時間戳
    list($usec, $sec) = explode(" ", microtime());
    $usec = str_replace('.', '', $usec);
    $ctime=substr($sec.$usec,0,17);
    return ceil($ctime/10000);
}