Datums- String umwandeln

[gps400]

Hallo,

was ist die kürzeste Methode, um bei dem
sechsundzwanzigstelligen Datumstring...

"05. Mrz. 2018 16:48:19 MEZ"

die Monatsangabe "Mrz." zu "03" umzuwandeln?

 

[kkapsner]

"05. Mrz. 2018 16:48:19 MEZ".replace(/\s*(Jan|Feb|Mrz|Apr|Mai|Jun|Jul|Aug|Sep|Okt|Nov|Dez)\.?\s*/i, function(match, mon){return {jan: "01", feb: "02", mrz: "03", apr: "04", mai: "05", jun: "06", jul: "07", aug: "08", sep: "09", okt: "10", nov: "11", dez: "12"}[mon.toLowerCase()] + ".";})

- geht aber noch kürzer... ich halte aber Code-Länge für kein adäquates Maß für Qualität - Verständlichkeit ist da viel besser.