Merge pull request #192 from mlocati/redis-pecl

Use redis version from pecl, even with PHP 8

install-php-extensions

@@ -1302,18 +1302,6 @@ installPECLModule() {
 			fi
 			;;
 		redis)
-			if test $PHP_MAJMIN_VERSION -ge 800; then
-				installPECLModule_src="$(getPackageSource https://codeload.github.com/phpredis/phpredis/tar.gz/develop)"
-				cd -- "$installPECLModule_src"
-				installPECLModule_cmd='./configure'
-				php --ri igbinary >/dev/null 2>/dev/null && installPECLModule_cmd="$installPECLModule_cmd --enable-redis-igbinary"
-				phpize
-				$installPECLModule_cmd
-				make -j$(getProcessorCount)
-				make install
-				cd - >/dev/null
-				installPECLModule_manuallyInstalled=1
-			else
 			# Enable igbinary serializer support?
 			if php --ri igbinary >/dev/null 2>/dev/null; then
 				addConfigureOption 'enable-redis-igbinary' 'yes'
@@ -1343,7 +1331,6 @@ installPECLModule() {
 				# Enable zstd compression support?
 				addConfigureOption 'enable-redis-zstd' 'yes'
 			fi
-			fi
 			;;
 		solr)
 			if test $PHP_MAJMIN_VERSION -le 506; then