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:
authorRemi Collet <remi@remirepo.net>2020-07-02 19:47:05 +0300
committerGitHub <noreply@github.com>2020-07-02 19:47:05 +0300
commit08f202e775037ccf849d7b933dddb467c9c2ee5f (patch)
treea7810eb0f1526f917b902c4a0379e21f877b2662 /redis.c
parent13a168f42d6639a051d6f829d573dd81bcb97f3a (diff)
fix #1796 missing include (#1800)
Diffstat (limited to 'redis.c')
-rw-r--r--redis.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/redis.c b/redis.c
index ad681752..585a5161 100644
--- a/redis.c
+++ b/redis.c
@@ -30,6 +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