mirror of
https://github.com/phpredis/phpredis.git
synced 2026-06-19 07:35:31 +00:00
Update generated stubs
This commit is contained in:
committed by
Michael Grunder
parent
9b5cad317b
commit
12966a7413
@@ -1,5 +1,5 @@
|
||||
/* This is a generated file, edit the .stub.php file instead.
|
||||
* Stub hash: fb17c785beccf1dbeedaa48afb4aa7d48fd8b655 */
|
||||
* Stub hash: fa84ce2b68b10564dd8abaffecefe4dd5d65b591 */
|
||||
|
||||
ZEND_BEGIN_ARG_WITH_RETURN_TYPE_INFO_EX(arginfo_class_RedisArray___call, 0, 2, IS_MIXED, 0)
|
||||
ZEND_ARG_TYPE_INFO(0, function_name, IS_STRING, 0)
|
||||
|
||||
Reference in New Issue
Block a user