DevTools: update console timestamp style

third_party/WebKit/Source/devtools/front_end/console/module.json

Index: third_party/WebKit/Source/devtools/front_end/console/module.json
diff --git a/third_party/WebKit/Source/devtools/front_end/console/module.json b/third_party/WebKit/Source/devtools/front_end/console/module.json
index e5f5f9bc279e881a8a616210f3d52eed8c100a33..258492e88062cae1482068a8a51995524a40774f 100644
--- a/third_party/WebKit/Source/devtools/front_end/console/module.json
+++ b/third_party/WebKit/Source/devtools/front_end/console/module.json
@@ -106,18 +106,25 @@
         {
             "type": "setting",
             "category": "Console",
-            "title": "Show timestamps",
-            "settingName": "consoleTimestampsEnabled",
-            "settingType": "boolean",
-            "defaultValue": false,
+            "title": "Timestamps:",
+            "settingName": "consoleTimestampFormat",
+            "settingType": "enum",
+            "defaultValue": "none",
             "options": [
                 {
-                    "value": true,
-                    "title": "Show timestamps"
+                    "title": "Hide timestamps",
+                    "text": "None",
+                    "value": "none"
                 },
                 {
-                    "value": false,
-                    "title": "Hide timestamps"
+                    "title": "Full (yyyy-MM-dd HH:mm:ss.fff)",
+                    "text": "Full",
+                    "value": "full"
+                },
+                {
+                    "title": "Short (HH:mm:ss.fff)",
+                    "text": "Short",
+                    "value": "short"
                 }
             ]
         },