Fixed broken links to the manual in PHP error messages