| 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"
|
| ]
|
| }
|
|
|