When I changed the PHP version from 7.1 to 5.6, there was an error about redis. #2263