DevTools: Add timestamp support in the console

Source/devtools/protocol.json

Index: Source/devtools/protocol.json
diff --git a/Source/devtools/protocol.json b/Source/devtools/protocol.json
index 2fa374b74bb5e98f1bafe6dd4a5c255fc5b3a816..46921fe165a885512654e34255efbd7d6bd78f58 100644
--- a/Source/devtools/protocol.json
+++ b/Source/devtools/protocol.json
@@ -921,14 +921,6 @@
                 "description": "Issued when new console message is added."
             },
             {
-                "name": "messageRepeatCountUpdated",
-                "parameters": [
-                    { "name": "count", "type": "integer", "description": "New repeat count value." },
-                    { "name": "timestamp", "$ref": "Timestamp", "description": "Timestamp of most recent message in batch.", "hidden": true }
-                ],
-                "description": "Issued when subsequent message(s) are equal to the previous one(s)."
-            },
-            {
                 "name": "messagesCleared",
                 "description": "Issued when console is cleared. This happens either upon <code>clearMessages</code> command or after page navigation."
             }