array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'es', ), 'this' => array ( 0 => 'about.generate.php', 1 => 'Cómo generamos los formatos', ), 'up' => array ( 0 => 'about.php', 1 => 'Acerca del manual', ), 'prev' => array ( 0 => 'about.howtohelp.php', 1 => 'Cómo ayudar a mejorar la documentación', ), 'next' => array ( 0 => 'about.translations.php', 1 => 'Traducciones', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'es', 'path' => 'appendices/about.xml', ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); ?>
Este manual está escrito en XML usando » DocBook XML DTD, y » PhD (El render [D]ocBook basado en[PH]P ) para el mantenimiento y formato.
Usamos XML como base, para generar diferentes formatos, centralizando un solo código fuente para todos los diferentes formatos del manual. Utilizamos la herramienta » PhD para crear las páginas del manual online. También usamos » Microsoft HTML Help Workshop para generar el formato de ayuda Windows HTML y por supuesto usamos PHP para crear algunas conversiones adicionales y formateado.
El manual de PHP es generado en varios idiomas y formatos, ver » https://www.php.net/docs.php para más información. El código fuente XML puede ser descargado desde Git y visualizado en » https://github.com/php/doc-en.