DevTools: Add timestamp support in the console

Source/devtools/Inspector-1.1.json

Index: Source/devtools/Inspector-1.1.json
diff --git a/Source/devtools/Inspector-1.1.json b/Source/devtools/Inspector-1.1.json
index 81d1d4592118cd54547f3702c87103bc687ba2c9..3d6f6a20de7ef63933108476d6bed692715eb2a2 100644
--- a/Source/devtools/Inspector-1.1.json
+++ b/Source/devtools/Inspector-1.1.json
@@ -887,14 +887,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."
             }