O Devhelp exige documentação em formato específico (arquivos .devhelp, presumivelmente gerados com gtk-doc ), ele ganhou t escolhe automaticamente a documentação de todos os pacotes * -doc presentes no seu sistema.
Editar: a documentação do PHP ainda está disponível em /usr/share/doc/php-doc/html
depois de instalar o php-doc
package. Entretanto, a solução provavelmente mais robusta é baixar a documentação do PHP no formato CHM e usá-la com algum visualizador CHM como o ChmSee ou o xCHM.