PHP Month Number to Month Name the Easy Way

It's just... $monthNum = 5; $monthName = date("F", mktime(0, 0, 0, $monthNum, 10)); Which is neat. It doesn't use jdmonthname, which expects a day of the year, which is fine but more awkward when you just want to make the month name

Saved by: Paul on 16 Aug 2016