Este Manual é escrito em XML usando o » DocBook XML DTD, usando » PhD (The [PH]P based [D]ocBook renderer) para manutenção e formatação.
Usar XML como formato fonte nos dá a capacidade de gerar diversos formatos de saída a partir dos arquivos fonte, enquanto apenas um documento fonte é mantido para todos os formatos. A ferramenta usada para formatar o manual online é » PhD. Usamos » Microsoft HTML Help Workshop para gerar o formato Windows HTML Help do manual e, é claro, o próprio PHP para fazer algumas conversões e formatações.
O manual PHP é gerado em várias linguagens e formatos, veja » https://www.php.net/docs.php para maiores detalhes. O código fonte XML pode ser baixado do git e visualizado em » https://github.com/php/doc-en.