How to transform a month number to month name using PHP

$month = 1;
 
$month_name = date("F", mktime(0,0,0,$month,1,2011));
 
echo $month_name; //Will output January