php生成毫秒时间戳的实例讲解

public function getCurrentMilis() {
　　　　$mill_time = microtime()/【一个开发人员，能懂服务器量好，反之一个服务器维护人员，也应该懂开发】/;
　　　　$timeInfo = explode(' ', $mill_time);
　　　　$milis_time = sprintf('%d%03d',$timeInfo[1],$timeInfo[0] * 1000);/【关于环境方面，我觉得DOCKER是非常合适和快速部署的一个方式】/
　　　　return $time;
　　}