Searched refs:SearchIndexManager (Results 1 – 1 of 1) sorted by relevance
8 class SearchIndexManager extends HTMLElement { class182 customElements.define('searchindex-manager', SearchIndexManager);