[web-php] PR #1007: Fuzzy search of docs
| From: | Roy-Orbison | Date: | Thu, 13 Jun 2024 05:54:22 +0000 |
| Subject: | [web-php] PR #1007: Fuzzy search of docs | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-31730@lists.php.net to get a copy of this message | ||
Pull Request: https://github.com/php/web-php/pull/1007
Author: Roy-Orbison
Allow partial terms and multiple search tokens instead of rigid 'begins-with' substring
matching.
This isn't perfect and could probably do with some tuning of the
[FuzzySearch](https://github.com/jeancroy/FuzzySearch/blob/36e3ca507d0712af01f07a61f9734bfe22f281b6/dist/FuzzySearch.js#L27)
parameters, but it's better than the current, very unforgiving, method.
It also adds the
.php suffix to selected autocomplete results (to match the canonical
tags), stops the results list from becoming inaccessible when taller than the viewport, and drops a
couple of unused variables.
