Corrected links to the PHP repository