php5.3が古くなってきてそろそろ移行期間かなと思ったのでアップグレードしてみた。 sudo add-apt-repository ppa:ondrej/php5 sudo apt-get update sudo apt-get upgrade sudo apt-get install php5リポジトリを追加して最新の内容にアップデート。その後に…