Month name from number (in PHP)

Simple snippet:

<?php 
$monthNum = 5; 
$monthName = date("F", mktime(0, 0, 0, $monthNum, 10)); 
echo $monthName; 
?>
Advertisements