blob: 5765cabf50d7a5f60eb30db24ed98c9b9cbc75c6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
Patch can be removed in next release
Upstream fix:
https://github.com/phpredis/phpredis/pull/1800
--- redis.c.orig 2020-07-03 06:16:52 UTC
+++ redis.c
@@ -30,7 +30,7 @@
#include <standard/php_random.h>
#include <zend_exceptions.h>
#include <ext/standard/info.h>
-
+#include <ext/hash/php_hash.h>
#ifdef PHP_SESSION
#include <ext/session/php_session.h>
|