DevTools: Add timestamp support in the console

Source/devtools/front_end/Settings.js

 /*
  * Copyright (C) 2009 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 40 matching lines @@
     this._eventSupport = new WebInspector.Object();
     this._registry = /** @type {!Object.<string, !WebInspector.Setting>} */ ({});
 
     this.colorFormat = this.createSetting("colorFormat", "original");
     this.consoleHistory = this.createSetting("consoleHistory", []);
     this.domWordWrap = this.createSetting("domWordWrap", true);
     this.eventListenersFilter = this.createSetting("eventListenersFilter", "all");
     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");
     this.showInheritedComputedStyleProperties = this.createSetting("showInheritedComputedStyleProperties", false);
     this.showUserAgentStyles = this.createSetting("showUserAgentStyles", true);
     this.watchExpressions = this.createSetting("watchExpressions", []);
     this.breakpoints = this.createSetting("breakpoints", []);
     this.eventListenerBreakpoints = this.createSetting("eventListenerBreakpoints", []);
     this.domBreakpoints = this.createSetting("domBreakpoints", []);
     this.xhrBreakpoints = this.createSetting("xhrBreakpoints", []);
@@ skipping 499 matching lines @@
     {
         // If there are too many breakpoints in a storage, it is likely due to a recent bug that caused
         // periodical breakpoints duplication leading to inspector slowness.
         if (breakpointsSetting.get().length > maxBreakpointsCount)
             breakpointsSetting.set([]);
     }
 }
 
 WebInspector.settings = new WebInspector.Settings();
 WebInspector.experimentsSettings = new WebInspector.ExperimentsSettings();