PHS version changed from 1.2.5.2 to 1.2.5.4. Make sure you change main.php file by comparing it with distribution version and in case there are changes recorded, please update your main.php file accordingly. After you are sure everything is updated, change PHS_KNOWN_VERSION constant in first lines of main.php file to 1.2.5.4.