PHP 生成毫秒时间戳

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;

　　}

喝水不忘挖井人，转载标明原文链接http://www.cnblogs.com/Bighua/p/7543041.html