Makes time syntax case insensitive (#10635).
Authored by: jplang 2012-04-11
Parent: [r9386]
Child: [r9388]