To install Redis PHP module from source, run
cd /usr/local/src git clone https://github.com/phpredis/phpredis.git cd /usr/local/src/phpredis /usr/serverok/php-7.1.12/bin/phpize ./configure --with-php-config=/usr/serverok/php-7.1.12/bin/php-config make && make install
Once installed, edit your php.ini file, add following below extension_dir line
extension=redis.so
Verify redis is installed with php -m
[root@vps154294 ~]# /usr/serverok/php-7.1.12/bin/php -m | grep redis redis [root@vps154294 ~]#
Now restart web server
service httpd restart
phpinfo() will show following
