How To Get Month Number to Month Name in PHP

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