title: How to get the month name from a number in PHP?
body: <p>I have a variable containing a month number. How can I get the name of the month from this value? </p>
  
  <p>I know I could define an array for <code>$month_num =&gt; $month_name</code>, but I want to know if there is a time function in PHP that can do this, without the need for an array?</p>