upgrade PhpRedis version?

Hi!
my setup:

• CentOS Version: CentOS 7 64bit ?
• Centmin Mod Version Installed: 123.09beta01
• Nginx Version Installed: 1.19.10
• PHP Version Installed: 7.4.16
• MariaDB MySQL Version Installed: 10.3.28

I am using "Wordpress Redis Cache at Nginx Level" and Redis Object Cache WordPress plugin .... and it is FLYING! wow.
thanks for putting all this together!

I noticed that my server is using a 2 years old version of PhpRedis (5.1.1 vs 5.3.4 which seems to be the latest as per PECL :: Package :: redis ).
It's all working as intended, so probably by Fear Of Missing Out as I read plenty of of "small improvements on the changelog ( PECL :: redis Changelog ) I am wondering why my set up is not upgraded.
Is it on purpose ( some incompatibilities issues ? )
Or am I supposed to run some manual scripts now to upgrade?
via the centmin menu?

thanks.
fabrice.

output of Redis Cache WordPress plugin

and output of:
php --ri redis

I see some older versions of phpredis had been downloaded in the past...
centminmod]#

---

 

Thanks.

did NOT work and left PhpRedis unchanged at 5.1.1

but

worked. Thanks for that !

This makes me wonder if Option13 -> option 2 not picking up the PhpRedis extension upgrade might mean that I have other PHP extension out of date, and possibly vulnerable ??