php: Update to 5.3.25, 5.4.15