"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 file (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("Seperate HTML files (compressed tar archive)", "tar.gz") ,"manual.zip" => array("Seperate HTML files (zip archive)", "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\n"; }?> | $details[0] | \n"; reset($languages); while (list($langcode,$language) = each($languages)) { 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"; } }?>