Da ich heute überall meinen Senf dazugebe, hier noch eine Möglichkeit:
meiner ansicht nach aber nur eine "halb-gute"
Kann man auch leicht eine Funktion draus machen.
es gibt zur datumsformatierung bereits fertige funktionen - zwar gibt es keinen konkreten datentyp für zeit/datum, aber dennoch sollte man zeit/datum in php idealerweise nur mit den dafür vorgesehenen funktionen behandel - wenn man aus deinen string nun "12. Januar 2008" oder "12. Jänner 2008", 12.1.2008 oder "2008, January 12" machen möchte musst du selbst etwas programmieren was php selbst schon vorsieht - die von mir genannte funktion strftime
dass das zerlegen der zahlen mittels regulärem ausdruck ist wesentlich schlauer als die bisher genannten varianten mit substr - aber ereg ist nicht wirklich zeitgemäß - hier sollten auf jeden fall perl-kompatible funktionen verwendet werden