php获取毫秒

function getMillisecond() {//获取毫秒级时间戳
    list($usec, $sec) = explode(" ", microtime());
    $usec = str_replace('.', '', $usec);
    $ctime=substr($sec.$usec,0,17);
    return ceil($ctime/10000);
}