PHP 获取毫秒时间戳

php 原生提供了 time() 时间戳获取函数,也提供了microtime()  函数但并未提供直接的毫秒时间戳。可以通过如下代码获取

echo (int) (microtime(true) * 1000);