PHP convert date format from xml feed from 25 November 2011 to 25 Nov?
<p>Im importing content from an XML feed. The date format for the date field is 25 November 2011, which I need to convert into 25 Nov. Whats the best way to do this?</p>

<p>I could use str_replace to replace each month with its abbreviation, but im wondering if there is a cleaner solution.</p>
