Changed PPA URL for PHP 5.4