php7-redis from home:Mister_Magister:branches:server:php:extensions project
Select Your Operating System
Add repository and install manually
For devel languages php 15.5 run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:Mister_Magister:branches:server:php:extensions/devel_languages_php_15.5/home:Mister_Magister:branches:server:php:extensions.repo zypper refresh zypper install php7-redis