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-04 05:45:37 +0300
committerMichael Grunder <michael.grunder@gmail.com>2022-11-04 06:40:39 +0300
commitcf63e96ec5f6c9363bc5c6955d29c726fc7ec6fe (patch)
tree2905f0276a8a54a09dcf8ee36ed443ff29f55d2b /redis_arginfo.h
parent14cd882b28cfa6c94d4c062919a1277896d22a59 (diff)
Documentation: More docblocks
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 47dd0584..a13002a1 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: ceb169a872a3df211ded811c1a5ac102832a9158 */
+ * Stub hash: 42952974e3686f29934dfff1ebba07150942a405 */
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")