Manually add millis to log output.

This re-enabled support for Node v12

Author: mkholt

.github/workflows/ci.yml

@@ -16,7 +16,7 @@ jobs:
 
     strategy:
       matrix:
-        node-version: [14.x, 16.x, 17.x]
+        node-version: [12.x, 14.x, 16.x, 17.x]
         # See supported Node.js release schedule at https://nodejs.org/en/about/releases/
 
     steps:

src/injected/logger.ts

@@ -1,5 +1,8 @@
-const timestamp = () => new Date().toLocaleTimeString('en-US', {
-	hour12: false, hour: '2-digit', minute: '2-digit', second: '2-digit', fractionalSecondDigits: 3
-} as Intl.DateTimeFormatOptions)
+const timestamp = () => {
+	const d = new Date()
+	return d.toLocaleTimeString('en-US', {
+		hour12: false, hour: '2-digit', minute: '2-digit', second: '2-digit'
+	}) + "." + d.getMilliseconds()
+}
 
 export const log = (...message: string[]) => console.log("[pcf-reloader]", "[" + timestamp() + "]", ...message)