-
Thomas Bouffard authored
This avoids loading useless resources when the search is not available in the page. It previously generated a JS error because some HTML element was not present in the page. Also use specific version of docsearch resources to improve caching and use SRI.
335e3d33