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;

　　}