PHP 返回13位时间戳

13位时间戳生成函数如下所示：

private function getMillisecond() {
    list($t1, $t2) = explode(' ', microtime());
    return (float)sprintf('%.0f',(floatval($t1)+floatval($t2))*1000);
}