est-il possible d'obtenir le nom du mois en donnant une valeur entière PHP

salut, je suis à l'aide de PHP que je veux passer une valeur entière (1-12) et obtenez des mois correspondants de nom , il est un moyen en PHP de le faire ou je ne t mon propre à initialiser un des noms de mois tableau.

je veux faire comme

$month_name = get_month_name(1);

echo $month_name ; //echo january

merci d'avance