什么是时间表示格式，在其末尾有逗号和数字？

Question

我有一个带有时间字符串的数据集，如下所示：

2012-10-09 10：45：09,153

它采用哪种时间格式，逗号后面的数字代表什么？

Answer 1

它们可能是几毫秒，我猜它来自欧洲大陆，因为它们倾向于使用逗号而不是小数点。

Answer 2

这个字符串提醒我ISO8601，它支持毫秒，尽管它们仍然不同2015-10-23T00:35:14.800Z。最有可能的是，它是一种自定义格式。