**
把13位时间戳转换位10位时间戳
**
在我们设计数据库时,时间戳存储到数据库时,一般情况下,我会设计存储类型int 长度11,
普遍情况下,前端传过来的长度也就时10位的时间戳,php time() 函数也一样。但是如果您
在和硬件对接等,,如果忘记沟通。有可能传过来的时间时13位精确到毫秒的时间戳。如果直接存储的到数据库中,时间戳就会错误!那么如果让硬件处理,如果同一个公司还好,如果是对接,就很麻烦。今儿我就遇见了这个问题,我自己在网上差了一下,没找到合适的方法,都是自己写个函数!后来才知道,其实php 有自带的函数可以直接解决
microtime();拿去用不需要自己写函数