Upgrade PHP from 5.4.17 to 5.4.19