php常用时间（time）处理函数