DevTools: revert of timestamp format dropdown

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 63642bd3825f7fdcf637bdc2d42f35ac33ed129f..9c0ba5a39471bd0688eaa998242fad7b68a4e518 100644
--- a/third_party/WebKit/Source/devtools/front_end/console/module.json
+++ b/third_party/WebKit/Source/devtools/front_end/console/module.json
@@ -88,25 +88,18 @@
         {
             "type": "setting",
             "category": "Console",
-            "title": "Timestamps:",
-            "settingName": "consoleTimestampFormat",
-            "settingType": "enum",
-            "defaultValue": "none",
+            "title": "Show timestamps",
+            "settingName": "consoleTimestampsEnabled",
+            "settingType": "boolean",
+            "defaultValue": false,
             "options": [
                 {
-                    "title": "Hide timestamps",
-                    "text": "None",
-                    "value": "none"
-                },
-                {
-                    "title": "Full (yyyy-MM-dd HH:mm:ss.fff)",
-                    "text": "Full",
-                    "value": "full"
+                    "value": true,
+                    "title": "Show timestamps"
                 },
                 {
-                    "title": "Short (HH:mm:ss.fff)",
-                    "text": "Short",
-                    "value": "short"
+                    "value": false,
+                    "title": "Hide timestamps"
                 }
             ]
         },