**
将13位时间戳转换为10位时间戳**
当我们设计数据库时，时间戳存储在数据库中。 通常，我设计存储类型int长度11。
一般而言，从前端发送的长度是10位的时间戳，php time ()函数也是如此。 但是如果你
忘记与硬件对接等，沟通的情况。 可能到达的时间是13位的准确毫秒以内的时间戳。 直接保存到数据库时，时间戳会出错。 那么让硬件处理的话，如果是同一家公司还可以，但是如果是对接的话就麻烦了。 今天，我遇到了这个问题。 我自己在网上拉了一下差，没找到合适的方法，都是自己写函数的！ 后来我明白了，其实php有固有的函数，可以直接解决
微时间(； 拿去不需要自己写函数