Index: third_party/WebKit/Source/devtools/front_end/ui/module.json |
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/module.json b/third_party/WebKit/Source/devtools/front_end/ui/module.json |
index 80f64da3d3664f4b75269c5ef6cd054ec8d1bc9f..605b8a1e53d64b73c9a700519f502ddfec092a6b 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/ui/module.json |
+++ b/third_party/WebKit/Source/devtools/front_end/ui/module.json |
@@ -5,6 +5,7 @@ |
"host" |
], |
"scripts": [ |
+ "DOMExtension.js", |
"Widget.js", |
"View.js", |
"treeoutline.js", |