DevTools: Add timestamp support in the console

Source/devtools/front_end/ConsoleViewMessage.js

 /*
  * Copyright (C) 2011 Google Inc.  All rights reserved.
  * Copyright (C) 2007, 2008 Apple Inc.  All rights reserved.
  * Copyright (C) 2009 Joseph Pecoraro
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
  * 1.  Redistributions of source code must retain the above copyright
@@ skipping 861 matching lines @@
             element.classList.add("console-error-level");
             break;
         case WebInspector.ConsoleMessage.MessageLevel.Info:
             element.classList.add("console-info-level");
             break;
         }
 
         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)
             this.updateRepeatCount();
 
         return element;
     },
 
     _populateStackTraceTreeElement: function(parentTreeElement)
     {
@@ skipping 126 matching lines @@
         }
 
         return sourceString + " " + typeString + " " + levelString + ": " + this.formattedMessage().textContent + "\n" + this._message.url + " line " + this._message.line;
     },
 
     get text()
     {
         return this._message.messageText;
     }
 }