mirror/phpredis
1
0
Fork 0
mirror of https://github.com/phpredis/phpredis.git synced 2026-06-19 07:35:31 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update arginfo hashes

Browse Source
This commit is contained in:
michael-grunder
2025-12-22 16:15:53 -08:00
parent cd31f26a09
commit a4da76f99e
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
redis_arginfo.h
+1 -1
View File
@@ -1,5 +1,5 @@
/* This is a generated file, edit the .stub.php file instead.
* Stub hash: 43edc3700cfe8cfb24bdade7f6c029ee9152aae1 */
* Stub hash: 33b3c9b00f132a45026aae31e653d293d489a06c */
ZEND_BEGIN_ARG_INFO_EX(arginfo_class_Redis___construct, 0, 0, 0)
ZEND_ARG_TYPE_INFO_WITH_DEFAULT_VALUE(0, options, IS_ARRAY, 1, "null")
redis_legacy_arginfo.h
+1 -1
View File
@@ -1,5 +1,5 @@
/* This is a generated file, edit the .stub.php file instead.
* Stub hash: 43edc3700cfe8cfb24bdade7f6c029ee9152aae1 */
* Stub hash: 33b3c9b00f132a45026aae31e653d293d489a06c */
ZEND_BEGIN_ARG_INFO_EX(arginfo_class_Redis___construct, 0, 0, 0)
ZEND_ARG_INFO(0, options)