php获取13位时间戳

function getMillisecond() {
list($t1, $t2) = explode(' ', microtime());
return $t2 . ceil( ($t1 * 1000) );
}
$time = getMillisecond();
echo $time;