Upgrade PHP 5.4 to 5.4.31