Updated all PHP binaries from 5.4.13 to 5.4.15