DevTools: Add timestamp support in the console

Source/devtools/front_end/ConsoleViewMessage.js

Index: Source/devtools/front_end/ConsoleViewMessage.js
diff --git a/Source/devtools/front_end/ConsoleViewMessage.js b/Source/devtools/front_end/ConsoleViewMessage.js
index 5815e514758e53b8bbf49d209d5aeba6570e136c..a09160d0cd69830836180964f4c6b62a3c4e5997 100644
--- a/Source/devtools/front_end/ConsoleViewMessage.js
+++ b/Source/devtools/front_end/ConsoleViewMessage.js
@@ -879,6 +879,14 @@ WebInspector.ConsoleViewMessage.prototype = {
         if (this._message.type === WebInspector.ConsoleMessage.MessageType.StartGroup || this._message.type === WebInspector.ConsoleMessage.MessageType.StartGroupCollapsed)
             element.classList.add("console-group-title");
 
+        if (WebInspector.settings.consoleTimestampsEnabled.get()) {
+            var timestamp = document.createElement("span");
+            timestamp.className = "console-timestamp";
+            timestamp.textContent = new Date(this._message.timestamp * 1000).toISOString().replace("T", " ").replace("Z", "");

[apavlov, 2014/03/04 14:06:46]

This will generate time in UTC, while users will want to see their local time,
right?

+
+            element.appendChild(timestamp);
+        }
+
         element.appendChild(this.formattedMessage());
 
         if (this._message.repeatCount > 1)