Typecheck sources/EditingLocationHistoryManager.js with TypeScript
Typecheck sources/EditingLocationHistoryManager.js with TypeScript

R=szuend@chromium.org

Bug: 1011811
Change-Id: I1f37f38e3c734c0404a128068f6cbc6d43298c32
Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/2450037
Auto-Submit: Tim van der Lippe <dba8716ee7f8d16236046f74d2167cb94410f6ed@chromium.org>
Commit-Queue: Paul Lewis <8915f5d5c39a08c5a3e8a8d7314756e4580816f9@chromium.org>
Reviewed-by: Paul Lewis <8915f5d5c39a08c5a3e8a8d7314756e4580816f9@chromium.org>

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