update php 5.4.30 to 5.4.31