Converting MySQL timestamp to RSS pubDate in PHP

A quick and simple means of using PHP to convert a MySQL timestamp field into the required format for the RSS pubDate field. date(‘D, d M Y H:i:s O’, strtotime($mysql_timestamp_val));