Si usan windows .. lo mejor es que trabajen con la vesión .chm (Help de Windows) con el manual oficial de referencia de PHP .. pues va muy bien con su buscador y demás para trabajar con el como "libro de cabecera". Más "liviano" (menos pesado) que trabajar con el PDF.
http://www.php.net/download-docs.php
Un saludo,