PHP输出13位时间戳函数

今天因为写一个搜狗发包工具，需要用到13位时间戳，php默认是没有13位时间戳函数的，于是自己写一个

代码如下：

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

}

　　转自：http://www.kaotop.com/it/233928.html