php获取精确到微秒级的时间戳

<?php
date_default_timezone_set("Asia/Shanghai");

list($uSecond, $second) = explode(' ', microtime());
echo sprintf('%d%d', $second, (int)($uSecond * 1000000));