php的time()函数生成当前时间的秒数，但是在一些情况下我们需要获取当前服务器时间和gmt(格林威治时间)1970年1月0时0分0秒的毫秒数，与java中的currenttimemilis()函数一样，觉得以下的函数最合适，特记录下来。
DBShop开源商城系统
下载
DBShop开源商城系统，使用PHP语言基于Laminas（Zendframework 3） + Doctrine 2 组合框架开发完成。可定制、多终端、多场景、多支付、多货币；严谨的安全机制，可靠稳定；方便的操作管理，节约时间；清晰的权限分配，责任分明；便捷的更新处理，一键搞定；丰富的插件市场，扩展无限。
public function getCurrentMilis() {
$mill_time = microtime();
$timeInfo = explode(' ', $mill_time);
$milis_time = sprintf('%d%03d',$timeInfo[1],$timeInfo[0] * 1000);
return $time;
} 
