title: PHP day of week numeric to day of week text
body: <p>This may be really easy but I can't find a PHP function to do this...</p>
  
  <p>OK so</p>
  
  <pre><code>$dow_numeric = date('w');
  </code></pre>
  
  <p>gives the numeric day of the week 0-6 for Sunday to Saturday.</p>
  
  <p>And</p>
  
  <pre><code>$dow_text = date('D');
  </code></pre>
  
  <p>gives the 3 letter abbreviation for the text day of the week (Sun, Mon, etc.)</p>
  
  <p>Is there a function or easy way to use <code>$dow_numeric</code> to get <code>$dow_text</code>?  If I have '0' as <code>$dow_numeric</code>, how can I make <code>$dow_text = 'Sun'</code>?  Yes a <code>switch</code> statement could do the job, but I’m looking for a more elegant solution.</p>