php中时间戳转换为毫秒以及格式化时间

前言

有时候需要对时间戳进行操作，比如获取13位毫秒级的时间戳或者对时间戳进行格式化时间。

    /**
     * 转化时间为毫秒时间戳
     * @param int|string $time 时间戳|日期
     * @return int
     */
    function get_time($time)
    {
        if (is_numeric($time)) {
            return (int) str_pad($time, 13, "0", STR_PAD_RIGHT);
        } else {
            return strtotime($time) * 1000;
        }
    }

    /**
     * 时间戳转化为日期
     * @param int|string $time 时间戳|日期
     * @param string $format 格式化方式
     * @return string
     */
    function time_format($time, $format = 'Y-m-d')
    {
        if (is_numeric($time)) {
            return date($format, substr($time, 0, 10));
        } else {
            return $time;
        }
    }