| 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 36f41cff83c0bf76a029e29b6e29d140297ab5cf..9568bd4378d5ff95988d0b299e0c13f298ea3f1a 100644
|
| --- a/third_party/WebKit/Source/devtools/BUILD.gn
|
| +++ b/third_party/WebKit/Source/devtools/BUILD.gn
|
| @@ -692,6 +692,8 @@ all_devtools_files = [
|
| "front_end/workspace/SearchConfig.js",
|
| "front_end/workspace/UISourceCode.js",
|
| "front_end/workspace/Workspace.js",
|
| + "front_end/workspace_diff/UISourceCodeDiff.js",
|
| + "front_end/workspace_diff/module.json",
|
| ]
|
|
|
| devtools_embedder_scripts = [
|
| @@ -855,6 +857,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 = [
|
|
|