DevTools: update console timestamp style

third_party/WebKit/Source/devtools/front_end/devtools_compatibility.js

 // Copyright 2014 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 /* eslint-disable indent */
 (function(window) {
 
   // DevToolsAPI ----------------------------------------------------------------
 
   /**
    * @unrestricted
@@ skipping 808 matching lines @@
     var properties = [
       'advancedSearchConfig',
       'auditsPanelSplitViewState',
       'auditsSidebarWidth',
       'blockedURLs',
       'breakpoints',
       'cacheDisabled',
       'colorFormat',
       'consoleHistory',
       'consoleTimestampsEnabled',
+      'consoleTimestampFormat',

[dgozman, 2017/01/25 00:51:46]

Remove.

[luoe, 2017/01/25 19:43:21]

Done.  I assumed this was used for all properties, but I guess it's just a
snapshot then?

[dgozman, 2017/01/27 00:20:57]

Correct.

       'cpuProfilerView',
       'cssSourceMapsEnabled',
       'currentDockState',
       'customColorPalette',
       'customDevicePresets',
       'customEmulatedDeviceList',
       'customFormatters',
       'customUserAgent',
       'databaseTableViewVisibleColumns',
       'dataGrid-cookiesTable',
@@ skipping 399 matching lines @@
      * @return {boolean}
      */
     DOMTokenList.prototype.toggle = function(token, force) {
       if (arguments.length === 1)
         force = !this.contains(token);
       return this.__originalDOMTokenListToggle(token, !!force);
     };
   }
 
 })(window);