Convert timestamp into milliseconds and format time in PHP

Preface

Sometimes you need to operate on the timestamp , Like getting 13 Bit millisecond timestamps or formatted timestamps .

    /** *  Convert time to millisecond timestamp  * @param int|string $time  Time stamp | date  * @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;
        }
    }

    /** *  Timestamp to date  * @param int|string $time  Time stamp | date  * @param string $format  Formatting method  * @return string */
    function time_format($time, $format = 'Y-m-d')
    {
    
        if (is_numeric($time)) {
    
            return date($format, substr($time, 0, 10));
        } else {
    
            return $time;
        }
    }