php 获取13位时间戳

/* php 获取13位时间戳 */
    public function getMillisecond() { 
        list($t1, $t2) = explode(' ', microtime());     
        return (float)sprintf('%.0f',(floatval($t1)+floatval($t2))*1000); 
    }