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 8933a5f1c2aafe3899ade9865e3cc3ed3fc72846..6104f88f88e8bf4468b84f05eadce830c995c5b7 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/externs.js |
+++ b/third_party/WebKit/Source/devtools/front_end/externs.js |
@@ -683,6 +683,8 @@ ESTree.Node = function() |
this.name; |
/** @type {(?ESTree.Node|undefined)} */ |
this.id; |
+ /** @type {(number|undefined)} */ |
+ this.length; |
} |
/** |