nicolas-grekas Bump minimum PHP version to 7.1