| Index: third_party/WebKit/Source/devtools/BUILD.gn
|
| diff --git a/third_party/WebKit/Source/devtools/BUILD.gn b/third_party/WebKit/Source/devtools/BUILD.gn
|
| index d01a5dcd554b6c08a5c82ae8b50d782efc8df332..6793d8b1cf9a1124480af00004ca18f37995410f 100644
|
| --- a/third_party/WebKit/Source/devtools/BUILD.gn
|
| +++ b/third_party/WebKit/Source/devtools/BUILD.gn
|
| @@ -695,6 +695,8 @@ all_devtools_files = [
|
| "front_end/workspace/SearchConfig.js",
|
| "front_end/workspace/UISourceCode.js",
|
| "front_end/workspace/Workspace.js",
|
| + "front_end/workspace_diff/WorkspaceDiff.js",
|
| + "front_end/workspace_diff/module.json",
|
| ]
|
|
|
| devtools_embedder_scripts = [
|
| @@ -857,6 +859,7 @@ generated_resources = [
|
| "$resources_out_dir/text_editor/text_editor_module.js",
|
| "$resources_out_dir/timeline_model/timeline_model_module.js",
|
| "$resources_out_dir/timeline/timeline_module.js",
|
| + "$resources_out_dir/workspace_diff/workspace_diff_module.js",
|
| ]
|
|
|
| generated_remote_modules = [
|
|
|