У меня есть переменная, содержащая номер месяца. Как я могу получить название месяца из этого значения?
Я знаю, что могу определить массив для $month_num => $month_name
, но я хочу знать, есть ли функция времени в PHP, которая может это сделать, без необходимости в массиве?