PHP Datumsformat wandeln

[Rolf B]

Hallo Matthias,

hab ich mir heute morgen angeschaut. Zum einen ist strptime betriebssystemabhängig und unter Windows gar nicht verfügbar (was ggf. stören kann, aber nicht muss).

Zum zweiten habe ich strptime in der Sandkiste nicht zum Laufen bekommen, meine Einstellung von setlocale("de_DE") führte nicht dazu, dass Okt als Monat akzptiert wurde. Vielleicht ist das Locale dort nicht installiert, vielleicht gibt's ein anderes Problem, ich weiß es nicht und habe im Moment auch keinen Linux-Server im Zugriff, auf dem ich es testen könnte.

Als alter Windows-Muckel hätte ich es mir also wohl eh per Regex gepolyfillt.

Rolf