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', |