array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'pt_BR', ), 'this' => array ( 0 => 'about.generate.php', 1 => 'Como os formatos são gerados', 2 => 'Como os formatos são gerados', ), 'up' => array ( 0 => 'about.php', 1 => 'Sobre o manual', ), 'prev' => array ( 0 => 'about.howtohelp.php', 1 => 'Como ajudar a melhorar a documentação', ), 'next' => array ( 0 => 'about.translations.php', 1 => 'Traduções', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'pt_BR', 'path' => 'appendices/about.xml', ), 'history' => array ( ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

Como os formatos são gerados

Este manual é escrito em XML usando o » DocBook XML DTD e o » PhD (The [PH]P based [D]ocBook renderer) para manutenção e formatação.

Usar XML 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 é o » PhD. O » Microsoft HTML Help Workshop é usado para gerar o formato Windows HTML Help do manual e, é claro, o próprio PHP é usado para fazer algumas conversões e formatações.

O manual do PHP é gerado em vários idiomas 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 (ou doc-pt_br para o manual em português do Brasil).