HHiissSSS 时间格式处理

function msectime_real() {

list($msec, $sec) = explode(' ', microtime());

return [ceil($msec*1000),$sec];

}

list($msec,$time) = msectime_real();

echo date('His').' '; //时分秒格式

echo '<br>';

//毫秒前三位 拼接 当前时间

echo $msec.' '.$time.' ';

$msec = $msec <10 ? '00'.$msec :($msec<100 ? '0'.$msec: $msec);

echo '<br>';

$format = date("His",$time).$msec;

//最终格式 HHiissSSS 时分秒毫秒

echo $format;