[PHP-WEBMASTER] [web-php] PR #1007: Fuzzy search of docs

[sy-records]

Pull Request: https://github.com/php/web-php/pull/1007

Closed by sy-records.