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 |
new file mode 100644 |
index 0000000000000000000000000000000000000000..f6887782865e1a73591071b58237daafae05b3a1 |
--- /dev/null |
+++ b/Source/devtools/front_end/workspace/module.json |
@@ -0,0 +1,13 @@ |
+{ |
+ "dependencies": ["common", "host"], |
+ "scripts": [ |
+ "FileManager.js", |
+ "FileSystemMapping.js", |
+ "FileSystemWorkspaceBinding.js", |
+ "IsolatedFileSystem.js", |
+ "IsolatedFileSystemManager.js", |
+ "SearchConfig.js", |
+ "UISourceCode.js", |
+ "Workspace.js" |
+ ] |
+} |