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;
        }
    }