The location of the PHP documentation to use. You can either use a remote location like http: / /php. net or a local directory which contains the PHP documentation in HTML format with many files.
O lugar onde está a documentación de PHP que se vai empregar. Pode empregar un lugar remoto como http: // php. net ou un cartafol local que conteña a documentación de PHP no formato HTML en varios ficheiros.