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 2dc1781b388e291fb94efbb0d0180795fec3d27b..3f3ce5c8ce8bc38396442a1a97fa7e6c0539e03a 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,34 +1,11 @@ |
{ |
"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", |
- "ui" |
+ "sdk" |
], |
"scripts": [ |
- "BadgePool.js", |
"ProductRegistry.js" |
- ], |
- "resources": [ |
- "badge.css", |
- "popup.css" |
] |
} |