Re: The new search thing on php.net

Hi!

I've noticed you've been integrating Google for searches instead of the internal PHP stuff... However I'm not sure if this is a good thing. Doing a search in the function list for 'extract' tries to go to http://www.google.com/search?q=manual%2Fen%2Ffunction.extract.php+site:w ww.php.net&l=en - which returns nothing. Very frustrating! In this instance, Google should not have been searched, as it already knows that extract is an exact match.

This google redirection you mention is not intended. It means that some mirror site you got redirected to from php.net has a /manual folder which does not contain the PHP manual. So this indicates a misconfigured mirror. It would be nice to know what mirror it is. Please try <htt://php.net/my> [without .php at the end!] and see what mirror you get redirected to. Then we can disabled it until the maintainer fixes the problem.

I've also noticed that it tries to fill in the search box with stuff you've typed in before, and this is truly nasty as it only populates once the page has finished loading - by which time I've usually started to type something *else* in there. It hijacks what I've been typing and replaces it! Or I end up with some unholy marriage of the two terms... I think this Javascript feature frustrates me more than anything else, because it's highly unlikely that I'll be searching for the same term when I next return to the PHP docs for reference...

Hm, this was a commonly requested feature. I'll try to make it check the value of the input field before it prefills the last search term. I don't know if the javascript value property follows your every keypress, or not, it will turn out. As a last option, we can make it a user preference, but I would only like to implement that if more complaints are coming in. Goba