| 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 322b6ce1eed41ffb974029aa4dbc0d0860841073..4490d8d946adc7e78c93edf5476e6b4db003d133 100644
|
| --- a/third_party/WebKit/Source/devtools/BUILD.gn
|
| +++ b/third_party/WebKit/Source/devtools/BUILD.gn
|
| @@ -390,8 +390,11 @@ all_devtools_files = [
|
| "front_end/persistence/PersistenceUtils.js",
|
| "front_end/platform/module.json",
|
| "front_end/platform/utilities.js",
|
| - "front_end/product_registry/module.json",
|
| + "front_end/product_registry/BadgePool.js",
|
| "front_end/product_registry/ProductRegistry.js",
|
| + "front_end/product_registry/badge.css",
|
| + "front_end/product_registry/module.json",
|
| + "front_end/product_registry/popup.css",
|
| "front_end/product_registry_impl/module.json",
|
| "front_end/product_registry_impl/ProductRegistryImpl.js",
|
| "front_end/product_registry_impl/ProductRegistryData.js",
|
| @@ -878,7 +881,6 @@ generated_resources = [
|
| "$resources_out_dir/network/network_module.js",
|
| "$resources_out_dir/object_ui/object_ui_module.js",
|
| "$resources_out_dir/perf_ui/perf_ui_module.js",
|
| - "$resources_out_dir/product_registry/product_registry_module.js",
|
| "$resources_out_dir/profiler/profiler_module.js",
|
| "$resources_out_dir/quick_open/quick_open_module.js",
|
| "$resources_out_dir/resources/resources_module.js",
|
|
|