diff options
author | Michael Wallner <mike@php.net> | 2013-08-06 22:45:35 +0200 |
---|---|---|
committer | Michael Wallner <mike@php.net> | 2013-08-06 22:49:56 +0200 |
commit | 14caf174ff219376e4f1234bd297ffe973cc416e (patch) | |
tree | 73532567f2c68b42ad55efbbaf1d85d7f81f6255 /ext/spl/php_spl.h | |
parent | ca0497bba2222c282c39048776a9f61052e67643 (diff) | |
download | php-git-14caf174ff219376e4f1234bd297ffe973cc416e.tar.gz |
unify stdint type usage
if you need C99 stdint types, just include "php_stdint.h"
Diffstat (limited to 'ext/spl/php_spl.h')
-rw-r--r-- | ext/spl/php_spl.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/ext/spl/php_spl.h b/ext/spl/php_spl.h index 4794f12443..28aa19def3 100644 --- a/ext/spl/php_spl.h +++ b/ext/spl/php_spl.h @@ -20,11 +20,6 @@ #define PHP_SPL_H #include "php.h" -#if defined(PHP_WIN32) -# include "win32/php_stdint.h" -#elif defined(HAVE_STDINT_H) -# include <stdint.h> -#endif #include <stdarg.h> #if 0 |