English documentation for PHP in HTML format.