PHP Month Number to Month Name the Easy Way

Very simple solution from here (posted for archive purposes):

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

searched "get month name from number php"