Comment puis-je convertir un numéro de mois numérique en nom de mois en utilisant PHP

Question

J'ai une variable avec un numéro de mois à 2 chiffres .. y at-il une fonction intégrée qui me permet de le changer pour le nom du mois. Je pensais que peut-être la fonction date() fonctionnerait, mais cela nécessite un horodatage complet.

Merci!

Answer 1

Vous pouvez utiliser mktime avec des paramètres arbitraires (exception du mois), puis en utilisant le format date (cela pourrait vous acheter quelque chose dans la mesure où les paramètres régionaux).

date('M', mktime(0, 0, 0, $month, 1, 2000)); 

Answer 2

Pas à ma connaissance.

Vous pouvez utiliser:

<?php 
$monate = array(
    1=>"Januar", 
    2=>"Februar", 
    3=>"März", 
    4=>"April", 
    5=>"Mai", 
    6=>"Juni", 
    7=>"Juli", 
    8=>"August", 
    9=>"September", 
    10=>"Oktober", 
    11=>"November", 
    12=>"Dezember"); 
?> 

<?php 
$monat = date("n"); 
?? 

Answer 3

J'utilise ce qui suit qui est plus facile à coder en cas de besoin à plusieurs reprises

$month_names = array('', 'January', 'February', 'March', 'April', 'May', 'June', 'July', 'August', 'September', 'October', 'November', 'December'); 

echo $month_names[3]; //prints March 

Utile si vous avez un fichier d'en-tête ou config qui est inclus sur toutes vos pages