一行代码实现 PHP 获取13位时间戳 真不用这么累

先上代码 PHP 获取13位时间戳

	(int)(microtime(true)*1000); // 获取到13位时间戳

在网上搜索php获取13位时间戳全都是一个样，只会抄的同样的代码真的心太累了，但凡有人去了解下也不至于全网就只有一个方法
以下方法位全网都在转发的

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