php/php-src — pull request #362 by smalyshev (2013-06-24 06:28:10+00:00)
Title: Fix bug #61860: use USearch for searches, it does the right thing

See https://bugs.php.net/bug.php?id=61860