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