From 8f3da69f818940eb5f517da850fb3766b72c7d7d Mon Sep 17 00:00:00 2001
From: Jeremy Ruston <jeremy@jermolene.com>
Date: Mon, 18 Nov 2019 13:24:47 +0000
Subject: [PATCH] Correct fix for bug with millisecond 0XXX date format

Milliseconds need 3 digits, not 4...
---
 core/modules/utils/utils.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/modules/utils/utils.js b/core/modules/utils/utils.js
index ac9f273e1..2495be49f 100644
--- a/core/modules/utils/utils.js
+++ b/core/modules/utils/utils.js
@@ -280,7 +280,7 @@ exports.formatDateString = function(date,template) {
 				return $tw.utils.pad(date.getSeconds());
 			}],
 			[/^0XXX/, function() {
-				return $tw.utils.pad(date.getMilliseconds(),4);
+				return $tw.utils.pad(date.getMilliseconds(),3);
 			}],
 			[/^0DD/, function() {
 				return $tw.utils.pad(date.getDate());