"English", "pt_BR" => "Brazilian Portuguese", "cs" => "Czech", "nl" => "Dutch", "fr" => "French", "de" => "German", "hu" => "Hungarian", "it" => "Italian", "ja" => "Japanese", "kr" => "Korean", "es" => "Spanish" ); $formats = array( "bigmanual.html.gz" => array("Single HTML (compressed)", "html.gz"), "manual_doc.pdb" => array("PalmPilot DOC", "doc.pdb"), "manual_isilo.pdb" => array("PalmPilot iSilo", "isilo.pdb"), "manual.pdf" => array("PDF", "pdf"), "manual.txt.gz" => array("Plain text (compressed)", "txt.gz"), "manual.tar.gz" => array("Many HTML files (compressed tar)", "tar.gz"), "manual.zip" => array("Many HTML files (zip)", "zip"), "manual.chm" => array("Windows HTML Help", "chm") ); ?>
The PHP manual is also available in a selection of downloadable formats for off-line use. Pick your format and language from the table below:
| $v[0]\n"; }?> | $language | \n"; reset($formats); while (list($fn,$details) = each($formats)) { echo ""; # temporary hack until pdf are auto-generated if ($fn == "manual.pdf") { echo "$details[1] | "; continue; } # temporary hack until chm are auto-generated if ($fn == "manual.chm") { echo "$details[1]"; continue; } $size = @filesize("manual/$langcode/$fn"); if ($size) { echo "$details[1]"; } else { echo " "; } echo "\n"; } }?>