Ubuntu12.04のphp5.3を最新のものにアップグレードする方法

php5.3が古くなってきてそろそろ移行期間かなと思ったのでアップグレードしてみた。

sudo add-apt-repository ppa:ondrej/php5
sudo apt-get update
sudo apt-get upgrade
sudo apt-get install php5

リポジトリを追加して最新の内容にアップデート。その後にアップグレードしてphpをインストールする。ppa:ondrej/php5というのは最新のphpを管理しているリポジトリらしい
途中でphp.iniを置き換えるか聞かれたので新しいのに置き換えたらSymfonyでエラー。Symfony 2 - Fatal error: Cannot redeclare class SessionHandlerInterfacesymfony2 : failed to write cache fileをみたら直し方が書いてあった。あとはphp.iniのdate.timezoneが指定されてないというエラーもでた。その辺を修正してapacheを再起動して終了。php5.5.6になりました。ところがphpredisが動かなくなって困った。