Convert a date, which is stored in a mysql database [SOLVED]

[eluser]Phil Sturgeon[/eluser]
No digging required.

Code:

$datetime = new DateTime($r->date);
echo $datetime->format('jS, F Y');

If you are feeling REALLY lazy...

Code:

<?php echo date('jS, F Y', strtotime($r->date));?>

I would go with DateTime though, much more useful.