mirror/phpredis
1
0
Fork 0
mirror of https://github.com/phpredis/phpredis.git synced 2026-06-19 07:35:31 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1851 from Jan-E/php8_vs2019

Browse Source
This commit is contained in:
Pavlo Yatsukhnenko
2020-11-25 15:50:32 +02:00
committed by GitHub
parent 32564e5b46 5b3771a0b2
commit a09b65b15d
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
redis_array.h
+1 -1
View File
@@ -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>
redis_array_impl.h
+1 -1
View File
@@ -1,7 +1,7 @@
#ifndef REDIS_ARRAY_IMPL_H
#define REDIS_ARRAY_IMPL_H
#ifdef PHP_WIN32
#if (defined(_MSC_VER) && _MSC_VER <= 1920)
#include <win32/php_stdint.h>
#else
#include <stdint.h>