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; |