月番号をローカライズされた月名に変換する PHP 関数はありますか?
私の現在の解決策は次のとおりですが、より良い方法があると感じています。
class num2month {
static function month($num){
$m = array(1=>"Январь",
2=>"Февраль",
3=>"Март",
4=>"Апрель",
5=>"Май",
6=>"Июнь",
7=>"Июль",
8=>"Август",
9=>"Сентябрь",
10=>"Октябрь",
11=>"Ноябрь",
12=>"Декабрь");
return $m[$num];
}
}