php生成javascript风格时间戳

Question

众所周知，php的

time();
mktime();

函数可以生成10位的Unix时间戳，但是在javascript中，使用

new Date().getTime()

函数得到的时间戳是13位精确到毫秒的。
所以请问能否实现使用php生成一个javascript风格的Unix时间戳呢？

---

PS：要求php代码运行后没有任何多余的输出，只是单纯的输出一个13位的Unix时间戳。
PPS：time()*1000不算。time()+随机数同样不算。。。

Answer 1

我错了。发完问题就找到了答案。原来php提供了另一个函数来完成这个任务。

round(microtime(true) * 1000)