PHP 获取13位时间戳

有时候需要PHP获取 13 的时间戳, 但是没有系统方法, 只能自己手动实现

function getUnixTimestamp ()
{
    list($s1, $s2) = explode(' ', microtime());
    return (float)sprintf('%.0f',(floatval($s1) + floatval($s2)) * 1000);
}