PHP convert date format from xml feed from 25 November 2011 to 25 Nov?
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?

I could use str_replace to replace each month with its abbreviation, but im wondering if there is a cleaner solution. Thanks 
PHP convert date format from xml feed from 25 November 2011 to 25 Nov?
===

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?

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