title: PHP convert month-number to short month-name
body: <p>I need to convert month-number to short month-name (i.e., 1 for Jan, 2 for Feb)</p>
  
  <p>I know that I can achieve this via Array, but is there any other way to do it?</p>
  
  <p>Help appreciated.</p>
  
  <p>Thanks.</p>