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

fix stdint usage

Browse Source
This commit is contained in:
Anatol Belski
2014-07-01 11:50:36 +02:00
parent 1fdefc2755
commit 7194e31fe9
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
redis_array.h
+4
View File
@@ -1,7 +1,11 @@
#ifndef REDIS_ARRAY_H
#define REDIS_ARRAY_H
#ifdef PHP_WIN32
#include "win32/php_stdint.h"
#else
#include <stdint.h>
#endif
#include "common.h"
void redis_destructor_redis_array(zend_rsrc_list_entry * rsrc TSRMLS_DC);