Automation of hrm_credential.end_date based on deployment setting

This checks whether the end_date has been updated manually by the user and does not override those.

Disables the function if the deployment setting returns an invalid input or "None".


Again - I do not see this as an independent function. It is closely tied to the datePicker ui widget (=there is no such thing like a "JavaScript" date format - this is the format for datePicker!), and thus should at least be re-used for the S3DateWidget which currently has it's own conversion mechanism (which is btw. a bit more complete).

-1 to have this in S3DateTime - it's totally unrelated.