Index: third_party/WebKit/Source/devtools/front_end/product_registry/module.json |
diff --git a/third_party/WebKit/Source/devtools/front_end/product_registry/module.json b/third_party/WebKit/Source/devtools/front_end/product_registry/module.json |
index 3f3ce5c8ce8bc38396442a1a97fa7e6c0539e03a..2dc1781b388e291fb94efbb0d0180795fec3d27b 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/product_registry/module.json |
+++ b/third_party/WebKit/Source/devtools/front_end/product_registry/module.json |
@@ -1,11 +1,34 @@ |
{ |
"extensions": [ |
+ { |
+ "type": "setting", |
+ "category": "UI", |
+ "settingName": "product_registry.badges-visible", |
+ "settingType": "boolean", |
+ "defaultValue": false, |
+ "options": [ |
+ { |
+ "value": true, |
+ "title": "Show third party badges" |
+ }, |
+ { |
+ "value": false, |
+ "title": "Do not show third party badges" |
+ } |
+ ] |
+ } |
], |
"dependencies": [ |
"common", |
- "sdk" |
+ "sdk", |
+ "ui" |
], |
"scripts": [ |
+ "BadgePool.js", |
"ProductRegistry.js" |
+ ], |
+ "resources": [ |
+ "badge.css", |
+ "popup.css" |
] |
} |