Como buena noticia para los que programamos en php, y que constantemente estamos leyendo y releyendo el manual, ahora firefox incorporo la opcion de busqueda en el manual de PHP!Gracias Firefox!
Para saber más
https://addons.mozilla.org/en-US/firefox/addon/8984
