[Resolved] Number to month name

[zzz]

Is it possible to convert a number into a month name?

I can think of an array, but is there an easier way?

[Installer]

This would do it:

for ($m = 1; $m <= 12; $m++) {
    $month_name = date('F', strtotime($m . '/1'));
    echo $month_name . '<br />';
}

[zzz]

Great!