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>2022-11-11 06:31:38 +0300
committermichael-grunder <michael.grunder@gmail.com>2022-11-11 06:36:06 +0300
commitef4699c726300a631fc9e1439b1c2aaa2004a3e6 (patch)
tree4de63ad3e94fb144823294d15a593ce5a783d9b4 /redis_arginfo.h
parent65c965638cf5412ac21d72df36b029789b13268b (diff)
Documentation: Rework more formatting and add example sections.HEADdevelop
[skip ci]
Diffstat (limited to 'redis_arginfo.h')
-rw-r--r--redis_arginfo.h2
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")