| commit | 1cf8e42e6d36b40811930053373d909b495488bd | [log] [tgz] |
|---|---|---|
| author | Tim van der Lippe <[email protected]> | Thu Mar 12 16:09:21 2020 |
| committer | Commit Bot <[email protected]> | Thu Mar 12 17:37:01 2020 |
| tree | 4c988722bfde7d7b084d04156eff890994ab7e27 | |
| parent | ec69c21bcac626338189568787a4b3fb1997df2b [diff] [blame] |
Migrate typedefs in {event_listeners,extension,formatter,heap_snapshot_worker,help}-legacy.js
Bug: 1006759
Change-Id: Ic2e3b5d8ece70a14cf067c79a14e3695382fa75b
Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/2100910
Commit-Queue: Tim van der Lippe <[email protected]>
Reviewed-by: Paul Lewis <[email protected]>
diff --git a/front_end/externs.js b/front_end/externs.js index f57724b..3a7d570 100644 --- a/front_end/externs.js +++ b/front_end/externs.js
@@ -751,6 +751,8 @@ /** @type {string} */ this.type; /** @type {(!ESTree.Node|undefined)} */ + this.key; + /** @type {(!ESTree.Node|undefined)} */ this.body; /** @type {(!Array.<!ESTree.Node>|undefined)} */ this.declarations;