Adjust URLs for PHP manual