Month's abbreviated name to digits

[ssimop]

I wonder whether there exists a simple way to convert a date string with month as its abbreviated name to that with the month as digits. I have written a short QM function which it converts properly, however I a looking for a relevant system resource. Let me mention that the statement :

DateTime(x).fromstr(s) gives an error, unless month is used in "s" with its representation in digits. Many thanks in advance.