According to the docs, the Redis PHP extension isn’t available for PHP 7.4. I want to use 7.4 for my app but I also need Redis.
We have a separate install script you can use to download and compile the Redis extension on the fly during build. It also caches the result so it’s nice and fast in subsequent builds.
Update: It’s changed again. You can enable the redis extension the same way as any other extension on PHP 7.4 now.