PHP的time()函数生成当前时间的秒数,但是在一些情况下我们需要获取当前服务器时间和GMT(格林威治时间)1970年1月0时0分0秒的毫秒数,与Java中的currentTimeMilis()函数一样,觉得以下的函数最合适,特记录下来。
//生成毫秒数
public function getCurrentMilis() {
$mill_time = microtime();
$timeInfo = explode(' ', $mill_time);
$milis_time = sprintf('%d%03d',$timeInfo[1],$timeInfo[0] * 1000);
return $time;
}