众所周知，php的
time();
mktime();
函数可以生成10位的Unix时间戳，但是在javascript中，使用
new Date().getTime()
函数得到的时间戳是13位精确到毫秒的。
所以请问能否实现使用php生成一个javascript风格的Unix时间戳呢？
PS：要求php代码运行后没有任何多余的输出，只是单纯的输出一个13位的Unix时间戳。
PPS：time()*1000不算。time()+随机数同样不算。。。
我错了。发完问题就找到了答案。原来php提供了另一个函数来完成这个任务。
round(microtime(true) * 1000)