update php redis 3.1.3 stable extension

https://pecl.php.net/package/redis
yvesb · Jul 18, 2017 · a4dbaa1 · a4dbaa1
1 parent 4022672
commit a4dbaa1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/centmin.sh b/centmin.sh
@@ -566,8 +566,8 @@ LIBMEMCACHED_YUM='y'        # switch to YUM install instead of source compile
 LIBMEMCACHED_VER='1.0.18'   # libmemcached version for source compile
 TWEMPERF_VER='0.1.1'
 PHPREDIS='y'                # redis PHP extension install
-REDISPHP_VER='3.1.3RC2'        # redis PHP version for PHP <7.x
-REDISPHPSEVEN_VER='3.1.3RC2'   # redis PHP version for PHP =>7.x
+REDISPHP_VER='3.1.3'        # redis PHP version for PHP <7.x
+REDISPHPSEVEN_VER='3.1.3'   # redis PHP version for PHP =>7.x
 REDISPHP_GIT='n'            # pull php 7 redis extension from git or pecl downloads
 PHPMONGODB='n'              # MongoDB PHP extension install
 MONGODBPHP_VER='1.1.8'      # MongoDB PHP version