Thanks! Very useful! But if I want to reinstall the last version? Can I remove all the files in /etc/apt/preferences.d/php5_3, remove the sourcelist entry and then update?


is it enough?