Cette astuce m’a été fournis par www.forum-webmaster.com et me fait gagner pas mal de temps :
Il s’agit d’un plugin de recherche pour Chrome qui va chercher directement sur le site php.net
> addon Chrome php.net



Pour Firefox, vous pouvez ajouter le moteur de recherche sur manuel php a firefox :

Addon Firefox php.net