Change PPA to `ondrej/php5-oldstable` for installation of PHP 5.4.