Does this plugin support PHPRedis extension?

Hi, I am running another plugin to connect Redis, which is fine. But I was not able at all to make it to work with PHPRedis, here is the thread: https://www.ads-software.com/support/topic/how-to-install-phpredis/

Do you think I could do that with yours? Thank you! ??