diff options
author | michael-grunder <michael.grunder@gmail.com> | 2022-11-11 06:31:38 +0300 |
---|---|---|
committer | michael-grunder <michael.grunder@gmail.com> | 2022-11-11 06:36:06 +0300 |
commit | ef4699c726300a631fc9e1439b1c2aaa2004a3e6 (patch) | |
tree | 4de63ad3e94fb144823294d15a593ce5a783d9b4 /redis_arginfo.h | |
parent | 65c965638cf5412ac21d72df36b029789b13268b (diff) |
[skip ci]
Diffstat (limited to 'redis_arginfo.h')
-rw-r--r-- | redis_arginfo.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/redis_arginfo.h b/redis_arginfo.h index 09e3c1fe..fa86cdc3 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: 4f4f62f9f49eb59c17c3dda8e0c3ae397a6df977 */ + * Stub hash: 0ca9052a6b2da623f76b015fa3271f4a9d1ffcf9 */ 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") |