php 获取13位时间戳和格式化

php函数time()获取的是10位时间戳，获取13位时间戳需要处理一下，代码如下：

list($t1, $t2) = explode(' ', microtime());
$str_time = sprintf('%u', (floatval($t1) + floatval($t2)) * 1000);

结果：1623120421985

格式化13位时间戳：

$day = date('Ymd H:i:s', $str_time/1000);

结果：20210608 10:47:01