fix usage of custom location providers in extension API panel views
Created by: sqs
Previously, a TypeScript cast as PanelViewWithComponent
resulted in panel views (that used a custom location provider registered with registerLocationProvider
) having an incorrectly typed locationProvider
value. This meant that using a panel view with a custom location provider would throw a JavaScript error.
Depends on https://github.com/sourcegraph/sourcegraph/pull/1697
Related: