array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'fr', ), 'this' => array ( 0 => 'about.generate.php', 1 => 'Comment sont générées les documentations', 2 => 'Comment sont générées les documentations', ), 'up' => array ( 0 => 'about.php', 1 => 'À propos du manuel', ), 'prev' => array ( 0 => 'about.howtohelp.php', 1 => 'Comment aider à l\'amélioration de la documentation ?', ), 'next' => array ( 0 => 'about.translations.php', 1 => 'Traductions', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'fr', 'path' => 'appendices/about.xml', ), 'history' => array ( ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

Comment sont générées les documentations

Ce manuel est écrit en XML, en utilisant la » DTD de DocBook XML, et » PhD (Le moteur [PH]P d'affichage [D]ocBook) pour la maintenance et le formatage.

Grâce au format XML comme source, nous avons la possibilité de générer de nombreux formats tout en ayant une seule source pour tous les formats. L'outil utilisé pour formater le manuel en ligne est » PhD. Nous utilisons » Microsoft HTML Help Workshop pour générer le format Windows HTML Help du manuel, et, bien sûr, PHP lui-même pour effectuer des conversions et du formatage.

Le manuel PHP est généré en de nombreux langages et formats, consulter » https://www.php.net/docs.php pour plus d'informations. Le code source XML peut être téléchargé depuis git et visualisé sur » https://github.com/php/doc-en.