Acabo de descargar tu manual y te cuento que es el manual oficial (versión offline .chm). Su descarga está disponible en varios idiomas y formatos (HTML, chm) en la sección de descargas de php.net:
http://www.php.net/download-docs.php
Creo que es preferible descargarlo directamente de la web oficial de php (o de alguno de sus "mirror" oficial) ya que, aunque estas versiones tardan en actualizarse... por lo menos sabremos que estamos descargando la última versión disponible en ese formato del manual.
Saludos