PHP convert month-number to short month-name [duplicate]

Question

I need to convert month-number to short month-name (i.e., 1 for Jan, 2 for Feb)

I know that I can achieve this via Array, but is there any other way to do it?

Help appreciated.

Thanks.

Answer 1

Yes there is. Use date/stftime in combination with mktime to create a timestamp within the desired month.

Strftime is cool because it will read the locale setting, and output your written date parts in that specific language.

For example:

$time = mktime(0, 0, 0, $monthNumber);
$name = strftime("%b", $time);

Now lets say you want your short month names in german language you call setlocale before calling strftime:

setlocale(LC_TIME, 'de_DE');