| Index: third_party/WebKit/Source/devtools/front_end/extensions/module.json
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/extensions/module.json b/third_party/WebKit/Source/devtools/front_end/extensions/module.json
|
| index 334ccfaf338d9e7a2c51fe2eb7d1854ca45853ba..32e04fb1f1958d81bbf661a2ef6c6e7f13638afc 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/extensions/module.json
|
| +++ b/third_party/WebKit/Source/devtools/front_end/extensions/module.json
|
| @@ -6,6 +6,7 @@
|
| "ExtensionAPI.js",
|
| "ExtensionAuditCategory.js",
|
| "ExtensionRegistryStub.js",
|
| + "ExtensionTraceProvider.js",
|
| "ExtensionServer.js",
|
| "ExtensionPanel.js",
|
| "ExtensionView.js"
|
|
|