Update search to use new pre-combined indexes + local docs support #1586
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.


This PR is related to php/phd#212 and php/phd#204
IMPORTANT: At least one of the above 2 PRs to phd MUST be merged before this one.
These changes modify search.js to use the new pre-combined search indexes (significantly simplifying the code) added by both the above mentioned PRs.
Additionally the changes required for supporting the search on local docs (which set the language to
localto trigger the alternative behavior)The version of
search.jsused here is the same as that included in php/phd#204 . After this PR has been merged, phd can be modified to pull this copy ofsearch.jsinstead of duplicating it in the phd repository, the same as it does for stylesheets.