PHP获取毫秒级时间戳的方法

PHP本身不带能提供获取毫秒级时间戳的函数，java里面可以通过gettime();获取。如果是要与java写的某些程序进行高精度的毫秒级的对接通信，则需要使用PHP输出毫秒级的时间。为获取更为精准的毫秒级时间戳可以使用下面的代码：

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

?>