Как заменить числа буквы?

Question

[Fozzy777]

Имеется переменная вида:
$month:= 2
её нужно заменить на feb
$month1:=5
её нужно заменить на may
и так далее, то есть из числового варианта месяцев получить буквенный. Спасибо

Answer 1

[Arman]

<?php
$map = [
    1 => 'Jan',
    'Feb',
    // и т.д.
];

echo $map[$month] ?? 'no';
?>

Answer 2

[Fozzy777]

<?php

$month = '05';
$map = [
    1 => 'jan',
	02 => 'feb',
	03 => 'mar',
	04 => 'apr',
	05 => 'may',
	06 => 'jun',
	07 => 'jul',
	08 => 'aug',
	09 => 'sep',
	10 => 'oct',
	11 => 'nov',
	12 => 'dec',
];

echo $map[$month] ?? 'no';
?>

Я так понимаю нужно далее использовать str_replace? ибо в таком виде у меня пример не работает. Спасибо

Comments

[Владислав Лысков]

нули убери

[Fozzy777]

в таком случае как быть с форматом 01 02 03 и т.д

[Талян]

Fozzy777,
https://rextester.com/NYGMJ24542

<?php

$month = '05';
$map = [
    1 => 'jan',
  2 => 'feb',
  3 => 'mar',
  4 => 'apr',
  5 => 'may',
  6 => 'jun',
  7 => 'jul',
  8 => 'aug',
  9 => 'sep',
  10 => 'oct',
  11 => 'nov',
  12 => 'dec',
];

echo $map[(int)$month] ?? 'no';
?>

[Владислав Лысков]

Fozzy777, тогда '05'