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:
authormichael-grunder <michael.grunder@gmail.com>2017-08-21 21:06:43 +0300
committermichael-grunder <michael.grunder@gmail.com>2017-08-21 21:06:43 +0300
commit682593db69ef7def0cdd25570348c56812f9cea9 (patch)
treec22f48177afb96bac5091dd4f90c93e3026c6701 /redis.c
parentcaf5c9984cd835572ddbc8805a237aedf06de0a8 (diff)
arginfo for updated exists
Diffstat (limited to 'redis.c')
-rw-r--r--redis.c9
1 files changed, 9 insertions, 0 deletions
diff --git a/redis.c b/redis.c
index 39909771..e22915c9 100644
--- a/redis.c
+++ b/redis.c
@@ -125,6 +125,15 @@ ZEND_BEGIN_ARG_INFO_EX(arginfo_mget, 0, 0, 1)
ZEND_ARG_ARRAY_INFO(0, keys, 0)
ZEND_END_ARG_INFO()
+ZEND_BEGIN_ARG_INFO_EX(arginfo_exists, 0, 0, 1)
+ ZEND_ARG_INFO(0, key)
+#if PHP_VERSION_ID >= 50600
+ ZEND_ARG_VARIADIC_INFO(0, other_keys)
+#else
+ ZEND_ARG_INFO(0, ...)
+#endif
+ZEND_END_ARG_INFO()
+
ZEND_BEGIN_ARG_INFO_EX(arginfo_del, 0, 0, 1)
ZEND_ARG_INFO(0, key)
#if PHP_VERSION_ID >= 50600