| Index: Source/devtools/scripts/frontend_modules.json
|
| diff --git a/Source/devtools/scripts/frontend_modules.json b/Source/devtools/scripts/frontend_modules.json
|
| index a2d73d4ee95eb55bd0bdd9220deb61d827fcc0d3..4f7f1a6d83b1edc6da4c1d549de6725ac17d80a5 100644
|
| --- a/Source/devtools/scripts/frontend_modules.json
|
| +++ b/Source/devtools/scripts/frontend_modules.json
|
| @@ -120,6 +120,7 @@
|
| "ui/DataGrid.js",
|
| "ui/Dialog.js",
|
| "ui/DOMExtension.js",
|
| + "ui/DOMSyntaxHighlighter.js",
|
| "ui/DropDownMenu.js",
|
| "ui/EmptyView.js",
|
| "ui/ForwardedInputEventHandler.js",
|
| @@ -218,7 +219,6 @@
|
| "name": "elements",
|
| "dependencies": ["components"],
|
| "sources": [
|
| - "elements/DOMSyntaxHighlighter.js",
|
| "elements/ElementsPanel.js",
|
| "elements/ElementsTreeOutline.js",
|
| "elements/EventListenersSidebarPane.js",
|
|
|