Convert month number to month short name

Question

I have a variable with the following value

$month = 201002; 

the first 4 numbers represent the year, and the last 2 numbers represent the month. I need to get the last 2 numbers in the month string name eg. Feb

My code looks like this

<?php echo date('M',substr($month,4,6)); ?>

I can I go about to obtain the month name

Answer 1

The second parameter of date is a timestamp. Use mktime to create one.

$month = 201002;
$monthNr = substr($month, -2, 2);

$timestamp = mktime(0, 0, 0, $monthNr, 1);
$monthName = date('M', $timestamp );

Answer 2

Append "01" and strtotime will be able to parse the string :

echo date('M', strtotime($month . '01'));

Answer 3

$mydate = "201002";
date('M', mktime(0, 0, 0, substr($mydate, 4, 2), 1, 2000)); 

Answer 4

Being a programmer, and even knowing nothing of PHP data magic, I'd made it

$month = intval(substr($input_date,4,2));
$mons = explode(" ","Zer Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec");
echo $mons[$month]; 

But it's hard to expect a programmer under php tag...