Common time format strings.
ctime/localtime format
As used in HTML type="date" inputs.
https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Date
Format produced by std.date.toString, e.g. "Tue Jun 07 13:23:19 GMT+0100 2011"
See Implementation
Common time format strings.