Solved Cannot find php71-redis

Hi Guys,

Could anyone please tell me how I can installed the redis extention for php?
I am looking at storing web session in a redis DB but I cannot see how

Thnak you
Once I got the above install, am ok to add the following in my /etc/php.ini file
session.save_handler = redis
It's /usr/local/etc/php.ini. The port/package should already take care of this any way.