| 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;
|
| }
|
|
|
| /**
|
|
|