| Index: third_party/WebKit/Source/devtools/front_end/externs.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/externs.js b/third_party/WebKit/Source/devtools/front_end/externs.js
|
| index aa6ae75b96836ef81dd0bbd7976bf7438ed6fcd7..e28311f41f2e79357d6d74201e2daa6e39ecf4bf 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/externs.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/externs.js
|
| @@ -289,8 +289,6 @@ function Panel() {}
|
| function PanelWithSidebar() {}
|
| /** @constructor */
|
| function Resource() {}
|
| -/** @constructor */
|
| -function Timeline() {}
|
|
|
| var extensionServer;
|
|
|
|
|