| Index: Source/devtools/devtools.gypi
|
| diff --git a/Source/devtools/devtools.gypi b/Source/devtools/devtools.gypi
|
| index 6066b2897111800d8347871036f9d4e81d17d0bf..598d984ba8245b9b46fac7930be4c51df211e65b 100644
|
| --- a/Source/devtools/devtools.gypi
|
| +++ b/Source/devtools/devtools.gypi
|
| @@ -122,6 +122,7 @@
|
| 'front_end/components/TimelineGrid.js',
|
| ],
|
| 'devtools_host_js_files': [
|
| + 'front_end/host/DOMExtension.js',
|
| 'front_end/host/InspectorFrontendHost.js',
|
| 'front_end/host/Platform.js',
|
| 'front_end/host/ToolboxHost.js',
|
| @@ -226,7 +227,6 @@
|
| 'front_end/ui/ContextMenu.js',
|
| 'front_end/ui/DataGrid.js',
|
| 'front_end/ui/Dialog.js',
|
| - 'front_end/ui/DOMExtension.js',
|
| 'front_end/ui/DOMSyntaxHighlighter.js',
|
| 'front_end/ui/DropDownMenu.js',
|
| 'front_end/ui/EmptyView.js',
|
|
|