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>2020-03-16 23:54:46 +0300
committerPavlo Yatsukhnenko <yatsukhnenko@gmail.com>2020-03-16 23:54:46 +0300
commita8e2b021f9eb51ad3ed0cc89064e2f004c56f8ba (patch)
tree4c3416f6ef487fb4a99371992d91d565949765e4 /common.h
parentb7f9df758b30187864012d5cd831dbbc5fa053d0 (diff)
Fix arginfo for Redis::zadd
Diffstat (limited to 'common.h')
-rw-r--r--common.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/common.h b/common.h
index f9aed17a..bb7b6ea7 100644
--- a/common.h
+++ b/common.h
@@ -449,6 +449,7 @@ ZEND_BEGIN_ARG_INFO_EX(arginfo_zadd, 0, 0, 3)
ZEND_ARG_INFO(0, key)
ZEND_ARG_INFO(0, score)
ZEND_ARG_INFO(0, value)
+ ZEND_ARG_VARIADIC_INFO(0, extra_args)
ZEND_END_ARG_INFO()
ZEND_BEGIN_ARG_INFO_EX(arginfo_zincrby, 0, 0, 3)