DevTools: Add timestamp support in the console

Source/devtools/front_end/Settings.js

Index: Source/devtools/front_end/Settings.js
diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js
index 1603bd06fd14ab7b0f1d8873df8226b9957340e4..8f0894745959219448379259f58a0cfc2e7d8ef9 100644
--- a/Source/devtools/front_end/Settings.js
+++ b/Source/devtools/front_end/Settings.js
@@ -58,6 +58,7 @@ WebInspector.Settings = function()
     this.lastViewedScriptFile = this.createSetting("lastViewedScriptFile", "application");
     this.monitoringXHREnabled = this.createSetting("monitoringXHREnabled", false);
     this.preserveConsoleLog = this.createSetting("preserveConsoleLog", false);
+    this.consoleTimestampsEnabled = this.createSetting("consoleTimestampsEnabled", false);
     this.resourcesLargeRows = this.createSetting("resourcesLargeRows", true);
     this.resourcesSortOptions = this.createSetting("resourcesSortOptions", {timeOption: "responseTime", sizeOption: "transferSize"});
     this.resourceViewTab = this.createSetting("resourceViewTab", "preview");