ui/overview.js: broken search provider API
Methods Overview.addSearchProvider
and Overview.removeSearchProvder
call identically named methods on ViewSelector
that were removed in 0590962d. As such, calling those Overview
methods result in errors.
AFAICT, those Overview
methods seem like the only obvious API by which an extension can register custom search providers. Do they need to be updated, or was the intention that extensions generally shouldn't be registering search providers and they were meant to be removed?