| Index: Source/devtools/devtools.gypi
|
| diff --git a/Source/devtools/devtools.gypi b/Source/devtools/devtools.gypi
|
| index 453630164c50d52a5e1830a3812b9be2be28dc54..d24fc6acf8ab418ec90c1c62bd6f65a57af8a00d 100644
|
| --- a/Source/devtools/devtools.gypi
|
| +++ b/Source/devtools/devtools.gypi
|
| @@ -205,6 +205,7 @@
|
| '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',
|
| 'front_end/ui/ForwardedInputEventHandler.js',
|
| @@ -339,7 +340,6 @@
|
| 'front_end/documentation/WikiParser.js',
|
| ],
|
| 'devtools_elements_js_files': [
|
| - 'front_end/elements/DOMSyntaxHighlighter.js',
|
| 'front_end/elements/ElementsPanel.js',
|
| 'front_end/elements/ElementsTreeOutline.js',
|
| 'front_end/elements/EventListenersSidebarPane.js',
|
|
|