I am currently on the stable branch and recently upgraded PHP from 5.6 to the latest version of 7. Everything went great but my Redis PHP extension is now missing and I cannot figure out how to get it installed and registered with PHP. I followed the guide on how to install the Redis server but that does not install the PHP extension. Any help is greatly appreciated!!