Since I couldn’t just install the php53 packages as they would conflict with the
php packages, I had to remove all the existing PHP packages and install the new
ones. This meant that I had to take stock of exactly what packages I had to
remove and replace.
I