PHP returns the abbreviation of the month according to the numerical month

Preface

In the process of project development, sometimes it is necessary to convert the month into English .

    /** *  Get month abbreviation  * @param string $month  month  */
    function get_month_abbr($month)
    {
    
        $month = (int) $month;
        $monthEng = [
            1 => "Jan",
            2 => "Feb",
            3 => "Mar",
            4 => "Apr",
            5 => "May",
            6 => "Jun",
            7 => "Jul",
            8 => "Aug",
            9 => "Sep",
            10 => "Oct",
            11 => "Nov",
            12 => "Dec",
        ];
        return $monthEng[$month] ?? "";
    }