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;
}