Fix PHP manual link.