| Index: third_party/WebKit/Source/devtools/front_end/extensions/ExtensionServer.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionServer.js b/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionServer.js
|
| index bfeb759389c496ab8563a8ad231a12065eeb9ff6..9d8161edae6245d7cc2bfd932a580428936a5091 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionServer.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionServer.js
|
| @@ -1087,4 +1087,4 @@ WebInspector.extensionAPI = {};
|
| defineCommonExtensionSymbols(WebInspector.extensionAPI);
|
|
|
| /** @type {!WebInspector.ExtensionServer} */
|
| -WebInspector.extensionServer;
|
| +WebInspector.extensionServer;
|
|
|