Standardize all JSON encoded times to use 3 decimal fractional seconds
Merge pull request #12228 from ersatzryan/standardize-json-time-formats

Standardize all JSON encoded times to use 3 decimal fractional seconds