updating php to last revision