| Index: third_party/WebKit/Source/devtools/front_end/extensions/ExtensionTraceProvider.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionTraceProvider.js b/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionTraceProvider.js
|
| index f0754adff562e6ed36016db0654bfb47a48d7678..b480c15cafe276d48f6bf805642778c007741de6 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionTraceProvider.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionTraceProvider.js
|
| @@ -1,7 +1,7 @@
|
| /**
|
| * @unrestricted
|
| */
|
| -WebInspector.ExtensionTraceProvider = class {
|
| +Extensions.ExtensionTraceProvider = class {
|
| /**
|
| * @param {string} extensionOrigin
|
| * @param {string} id
|
| @@ -15,10 +15,10 @@ WebInspector.ExtensionTraceProvider = class {
|
| this._categoryTooltip = categoryTooltip;
|
| }
|
| start() {
|
| - WebInspector.extensionServer.startTraceRecording(this._id);
|
| + Extensions.extensionServer.startTraceRecording(this._id);
|
| }
|
|
|
| stop() {
|
| - WebInspector.extensionServer.stopTraceRecording(this._id);
|
| + Extensions.extensionServer.stopTraceRecording(this._id);
|
| }
|
| };
|
|
|