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-08-04 13:17:05 +0300
committerPavlo Yatsukhnenko <yatsukhnenko@gmail.com>2017-08-04 13:17:05 +0300
commit89f9c066a2b401189486f15b04ed9412bb66af45 (patch)
tree2cd0218ac9c76b15d0edd2c8c2aa3ab6bc796fc0 /php_redis.h
parent577a91909989924c841ed45f9e57a0518aa3ab30 (diff)
Set PHP_REDIS_VERSION to 'develop'
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 4cc8c674..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.2"
+#define PHP_REDIS_VERSION "develop"
PHP_METHOD(Redis, __construct);
PHP_METHOD(Redis, __destruct);