| Index: third_party/WebKit/Source/devtools/front_end/devtools_compatibility.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/devtools_compatibility.js b/third_party/WebKit/Source/devtools/front_end/devtools_compatibility.js
|
| index effed5a88a729cb279d090730b43f8d5edd860a6..d03680b3406fa995f7cd77d48a5016a947fd4fbe 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/devtools_compatibility.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/devtools_compatibility.js
|
| @@ -826,6 +826,7 @@
|
| 'colorFormat',
|
| 'consoleHistory',
|
| 'consoleTimestampsEnabled',
|
| + 'consoleTimestampFormat',
|
| 'cpuProfilerView',
|
| 'cssSourceMapsEnabled',
|
| 'currentDockState',
|
|
|