[php] datumsproblem

[Joerg Holz]

tag zusammen,

malwieder ein datumsproblem. ich habe ein datum in der form:

3 Mrz 2002 0:00

das wuerde ich gerne wandeln, z.b. in 03.03.2002. strtotime kann ich 
nicht einsetzen, weil es eine deutsche abkuerzung ist, setlocal kann ich 
nicht einsetzen.

hat jemand eine idee, wie ich das einfach loesen kann, ohne 
scriptmaessiges austauschen des monatnamens?

schoenen abend wuenscht,

joerg