php获取13位时间戳

我么都知道php的time()是获取时间戳的 但是是没有毫秒单位的 是10位 下面是获取13位的方法
 function getUnixTimestamp ()
    {
        list($s1, $s2) = explode(' ', microtime());
        return (float)sprintf('%.0f',(floatval($s1) + floatval($s2)) * 1000);
    }