mirror of
https://git.freebsd.org/ports.git
synced 2025-07-16 00:39:15 -04:00
e85832720f
Without patch port doesn't work with PHP 8.1 and probably with 8.0, 8.2 and 8.3 too. Upstream issue: https://github.com/phpredis/phpredis/issues/2041 PR: 272451 Approved by: Daniel Ylitalo <daniel@blodan.se> (maintainer), arrowd (mentor) Obtained from: https://github.com/phpredis/phpredis/issues/2041 Differential Revision: https://reviews.freebsd.org/D40984 MFH: 2023Q3
12 lines
391 B
C
12 lines
391 B
C
--- redis.c.orig 2022-02-15 18:25:22 UTC
|
|
+++ redis.c
|
|
@@ -154,6 +154,9 @@ ZEND_BEGIN_ARG_INFO_EX(arginfo_pconnect, 0, 0, 1)
|
|
ZEND_ARG_INFO(0, host)
|
|
ZEND_ARG_INFO(0, port)
|
|
ZEND_ARG_INFO(0, timeout)
|
|
+ ZEND_ARG_INFO(0, persistent_id)
|
|
+ ZEND_ARG_INFO(0, retry_interval)
|
|
+ ZEND_ARG_INFO(0, read_timeout)
|
|
ZEND_END_ARG_INFO()
|
|
|
|
ZEND_BEGIN_ARG_INFO_EX(arginfo_mget, 0, 0, 1)
|