Fix PHP required version.