Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpredis/phpredis.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPavlo Yatsukhnenko <yatsukhnenko@gmail.com>2017-10-14 22:33:22 +0300
committerPavlo Yatsukhnenko <yatsukhnenko@gmail.com>2017-10-14 22:33:35 +0300
commit0b7ac2bde89863b8a761383f6e30c32f2af2ccd6 (patch)
tree77472f320d82201ddd9cc89c858591d20e77e837 /php_redis.h
parent223899c3323461d8dfeb967ecdc6fc498958f608 (diff)
Sync package.xml and update PHP_REDIS_VERSION
Diffstat (limited to 'php_redis.h')
-rw-r--r--php_redis.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/php_redis.h b/php_redis.h
index 0daf1594..895ad710 100644
--- a/php_redis.h
+++ b/php_redis.h
@@ -25,7 +25,7 @@
#define PHP_REDIS_H
/* phpredis version */
-#define PHP_REDIS_VERSION "3.1.4RC1"
+#define PHP_REDIS_VERSION "develop"
PHP_METHOD(Redis, __construct);
PHP_METHOD(Redis, __destruct);