diff options
author | Remi Collet <remi@remirepo.net> | 2020-07-02 19:47:05 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-02 19:47:05 +0300 |
commit | 08f202e775037ccf849d7b933dddb467c9c2ee5f (patch) | |
tree | a7810eb0f1526f917b902c4a0379e21f877b2662 /redis.c | |
parent | 13a168f42d6639a051d6f829d573dd81bcb97f3a (diff) |
fix #1796 missing include (#1800)
Diffstat (limited to 'redis.c')
-rw-r--r-- | redis.c | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |