the port for the redis php extension is missing.
It seems that there is no official PHP7 release of the redis extension yet. But they are working on it.
Checkout https://github.com/phpredis/phpredis/tree/php7
This issue is a kind of reminder to include this, once it is out.
Hey,
the port for the redis php extension is missing. It seems that there is no official PHP7 release of the redis extension yet. But they are working on it. Checkout https://github.com/phpredis/phpredis/tree/php7
This issue is a kind of reminder to include this, once it is out.