changing the version of php