Redis extension for PHP7

edtechd has done a great job by making a fork of the phpredis extension C89-compatible. With a few further patches we have got an extension that compiles with VC14 and in initial tests seems to work OK on Windows. Repository: https://github.com/edtechd/phpredis However, on Debian it does not work OK. It segfaults when running 'php [some redis script]' and just quits halfway down the script when running 'sudo php [some redis script]' on Rasmus' php7 vagrant box. See the comments at https://github.com/edtechd/phpredis/pull/4 for a gdb trace and some more info. I am not using the redis extension, but just helped edtechd a little bit. If anyone else knows way to improve the current repository, please make pull requests for edtechd's fork. -- Jan