| Index: third_party/WebKit/Source/devtools/front_end/extensions/ExtensionAPI.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionAPI.js b/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionAPI.js
|
| index 9eb5179f1a4556952a491fe500344287bc9d3499..850fb24d9c3f1737340aa37303ce23587c604a98 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionAPI.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionAPI.js
|
| @@ -953,7 +953,7 @@ function platformExtensionAPI(coreAPI)
|
| {
|
| return tabId;
|
| }
|
| - chrome = window.chrome || {};
|
| + var chrome = window.chrome || {};
|
| // Override chrome.devtools as a workaround for a error-throwing getter being exposed
|
| // in extension pages loaded into a non-extension process (only happens for remote client
|
| // extensions)
|
|
|