Hallo Julian,
erstmal vorweg, ich bin auch nicht unbedingt der php-Guru ;-)
aber mir scheint, das du dir die Zeit vom Server geben läßt, "LC_TIME" wenn die Kiste dann in den Staaten steht, kriegst du nicht um's verrecken einen "Dezember zurück" --- dürfte auch um "July" nicht klappen ;-) und Oktober sah wohl auch chon nach "Octobre" aus ;-)
Ich persönlich (obwohl unser Server in D steht) mache - vorsichtshalber - folgendes: ich laß mir die Datumsangabe vom Server geben - über den entsprechenden Befehl - dann bau ich das ganze über ein Array - deutsch"konform" zurecht ...
hoffe das hilft dir weiter
der_bernd