array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'it', ), 'this' => array ( 0 => 'about.generate.php', 1 => 'Come generiamo i diversi formati', 2 => 'Come generiamo i diversi formati', ), 'up' => array ( 0 => 'about.php', 1 => 'Informazioni sul manuale', ), 'prev' => array ( 0 => 'about.howtohelp.php', 1 => 'Come aiutare a migliorare la documentazione', ), 'next' => array ( 0 => 'about.translations.php', 1 => 'Traduzioni', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'it', 'path' => 'appendices/about.xml', ), 'history' => array ( ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

Come generiamo i diversi formati

Questo manuale è scritto in XML usando il » DocBook XML DTD e usando » PhD (il formattatore DocBook basato su PHP) per la sua manutenzione e formattazione.

Usare l'XML come formato originale rende possibile generare diversi tipi di formato partendo da un unico sorgente, mantenendo solo un sorgente per tutti i diversi formati. Lo strumento utilizzato per formattare le versioni è » PhD. Per generare la versione HTML Help per Windows usiamo » Microsoft HTML Help Workshop e, ovviamente, anche PHP stesso per qualche conversione addizionale e per la formattazione.

Il manuale PHP è generato in diverse lingue e formati, vedere » https://www.php.net/docs.php per ulteriori dettagli. Il codice sorgente in XML può essere scaricato da git e visualizzato su » https://github.com/php/doc-en.