| Index: Source/devtools/front_end/workspace/module.json
|
| diff --git a/Source/devtools/front_end/workspace/module.json b/Source/devtools/front_end/workspace/module.json
|
| index f6887782865e1a73591071b58237daafae05b3a1..664af71d1ff70f3032c67545ad318b83f0778866 100644
|
| --- a/Source/devtools/front_end/workspace/module.json
|
| +++ b/Source/devtools/front_end/workspace/module.json
|
| @@ -1,5 +1,5 @@
|
| {
|
| - "dependencies": ["common", "host"],
|
| + "dependencies": ["common", "host", "platform"],
|
| "scripts": [
|
| "FileManager.js",
|
| "FileSystemMapping.js",
|
|
|