diff options
author | michael-grunder <michael.grunder@gmail.com> | 2022-09-30 12:25:02 +0300 |
---|---|---|
committer | michael-grunder <michael.grunder@gmail.com> | 2022-09-30 12:25:31 +0300 |
commit | dc9af5296bedef126d2fa7d5ce31181c2824ad94 (patch) | |
tree | 5307dad213cf486a21176f11b27656ee72dc9240 | |
parent | 98fda1b870171a800a587512bcc59c8bdbd0869a (diff) |
float not double.
See: #2158
-rw-r--r-- | redis.stub.php | 4 | ||||
-rw-r--r-- | redis_arginfo.h | 4 | ||||
-rw-r--r-- | redis_legacy_arginfo.h | 2 |
3 files changed, 5 insertions, 5 deletions
diff --git a/redis.stub.php b/redis.stub.php index 3a754901..ddb55168 100644 --- a/redis.stub.php +++ b/redis.stub.php @@ -52,9 +52,9 @@ class Redis { /** @return int|Redis */ public function bitpos(string $key, int $bit, int $start = 0, int $end = -1); - public function blPop(string|array $key, string|double|int $timeout_or_key, mixed ...$extra_args): array; + public function blPop(string|array $key, string|float|int $timeout_or_key, mixed ...$extra_args): array; - public function brPop(string|array $key, string|double|int $timeout_or_key, mixed ...$extra_args): array; + public function brPop(string|array $key, string|float|int $timeout_or_key, mixed ...$extra_args): array; public function brpoplpush(string $src, string $dst, int $timeout): string; diff --git a/redis_arginfo.h b/redis_arginfo.h index e05c4b9f..e5990f4e 100644 --- a/redis_arginfo.h +++ b/redis_arginfo.h @@ -1,5 +1,5 @@ /* This is a generated file, edit the .stub.php file instead. - * Stub hash: 28b297e0067c033cea6e2c42fb1f42d4585234ac */ + * Stub hash: 2c5f558917526d1a034a45b63bf7890bd8cb49e5 */ ZEND_BEGIN_ARG_INFO_EX(arginfo_class_Redis___construct, 0, 0, 0) ZEND_ARG_TYPE_INFO_WITH_DEFAULT_VALUE(0, options, IS_ARRAY, 0, "null") @@ -72,7 +72,7 @@ ZEND_END_ARG_INFO() ZEND_BEGIN_ARG_WITH_RETURN_TYPE_INFO_EX(arginfo_class_Redis_blPop, 0, 2, IS_ARRAY, 0) ZEND_ARG_TYPE_MASK(0, key, MAY_BE_STRING|MAY_BE_ARRAY, NULL) - ZEND_ARG_OBJ_TYPE_MASK(0, timeout_or_key, double, MAY_BE_STRING|MAY_BE_LONG, NULL) + ZEND_ARG_TYPE_MASK(0, timeout_or_key, MAY_BE_STRING|MAY_BE_DOUBLE|MAY_BE_LONG, NULL) ZEND_ARG_VARIADIC_TYPE_INFO(0, extra_args, IS_MIXED, 0) ZEND_END_ARG_INFO() diff --git a/redis_legacy_arginfo.h b/redis_legacy_arginfo.h index b26cd9e6..ebd87a7d 100644 --- a/redis_legacy_arginfo.h +++ b/redis_legacy_arginfo.h @@ -1,5 +1,5 @@ /* This is a generated file, edit the .stub.php file instead. - * Stub hash: 28b297e0067c033cea6e2c42fb1f42d4585234ac */ + * Stub hash: 2c5f558917526d1a034a45b63bf7890bd8cb49e5 */ ZEND_BEGIN_ARG_INFO_EX(arginfo_class_Redis___construct, 0, 0, 0) ZEND_ARG_INFO(0, options) |