This is a modification to the RichWidgets_InputCalendar, so we can have date formats which are different from our server date format.

The mechanism is that we show a "dummy" input with the date format we want, while the "real" input is kept in the server's format and hidden, whenever the dummy input changes, we change the real input too.