Index: Source/devtools/front_end/sources/module.json |
diff --git a/Source/devtools/front_end/sources/module.json b/Source/devtools/front_end/sources/module.json |
index 28ac377e40c77d99a62f2206a0e7b072caf8fd77..b11ff03ff16d11c6364c4e9ad734d17e820cac8e 100644 |
--- a/Source/devtools/front_end/sources/module.json |
+++ b/Source/devtools/front_end/sources/module.json |
@@ -183,7 +183,10 @@ |
"settingType": "checkbox" |
} |
], |
- "dependencies": ["source_frame"], |
+ "dependencies": [ |
+ "source_frame", |
+ "extensions" |
+ ], |
"scripts": [ |
"jsdifflib.js", |
"Placard.js", |