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:
authorJan-E <github@ehrhardt.nl>2020-09-22 12:56:59 +0300
committerJan-E <github@ehrhardt.nl>2020-09-22 12:56:59 +0300
commit5b3771a0b2dd8bafe884558a5f249850acfbb6dd (patch)
tree582509d36c85deec4fae57afd65a6e792b10187d /redis_array.h
parent7e5191fb5645296b9e852fab7991820c1eaf0422 (diff)
PHP 8 compatibility Windows
Diffstat (limited to 'redis_array.h')
-rw-r--r--redis_array.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/redis_array.h b/redis_array.h
index 34460b10..805442aa 100644
--- a/redis_array.h
+++ b/redis_array.h
@@ -1,7 +1,7 @@
#ifndef REDIS_ARRAY_H
#define REDIS_ARRAY_H
-#ifdef PHP_WIN32
+#if (defined(_MSC_VER) && _MSC_VER <= 1920)
#include "win32/php_stdint.h"
#else
#include <stdint.h>