| Index: third_party/WebKit/Source/devtools/front_end/externs.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/externs.js b/third_party/WebKit/Source/devtools/front_end/externs.js
|
| index 1cc530f9581684514cbcfbf28a5c20bc67d9e1c9..b36803e3ba7cc3711f56765d956f4b4d3d18ec83 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/externs.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/externs.js
|
| @@ -312,7 +312,7 @@ function ExtensionReloadOptions() {
|
| }
|
|
|
| var Adb = {};
|
| -/** @typedef {{id: string, name: string, url: string, adbAttachedForeign: boolean}} */
|
| +/** @typedef {{id: string, name: string, url: string, attached: boolean}} */
|
| Adb.Page;
|
| /** @typedef {{id: string, adbBrowserChromeVersion: string, compatibleVersion: boolean, adbBrowserName: string, source: string, adbBrowserVersion: string, pages: !Array<!Adb.Page>}} */
|
| Adb.Browser;
|
|
|