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", |