Typecheck quick_open/FilteredListWidget.js with TypeScript
Typecheck quick_open/FilteredListWidget.js with TypeScript

Bug: 1011811
Change-Id: I4d0b14b46beae34bfc570d90bdec5434b34c0877
Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/2395401
Commit-Queue: Johan Bay <c4a91c97e1f8a218202ca733f9e9f5122f475e0f@google.com>
Reviewed-by: Jack Franklin <993fcadce4d04090da2fefd557a0995e7966c8d5@chromium.org>
Reviewed-by: Sigurd Schneider <f04d242e109628a27a0f75fd49a87722bcf291fd@chromium.org>

ChromeDevTools/devtools-frontend,ChromeDevTools/devtools-frontend,ChromeDevTools/devtools-frontend,ChromeDevTools/devtools-frontend,ChromeDevTools/devtools-frontend,ChromeDevTools/devtools-frontend