ciao a tutti... in php che voi sappiate ce' un a funzione per formattare una data da "24052008", o "20080524" in "24 maggio 2008"?

grazie mille!