diff options
Diffstat (limited to 'main/php_stdint.h')
| -rw-r--r-- | main/php_stdint.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/main/php_stdint.h b/main/php_stdint.h index 14b32d7ca4..4d0d723af6 100644 --- a/main/php_stdint.h +++ b/main/php_stdint.h @@ -1,6 +1,6 @@ /* +----------------------------------------------------------------------+ - | PHP Version 5 | + | PHP Version 7 | +----------------------------------------------------------------------+ | Copyright (c) 1997-2014 The PHP Group | +----------------------------------------------------------------------+ @@ -28,6 +28,7 @@ # if !defined(_STDINT) # define _STDINT # include "win32/php_stdint.h" +# include "win32/php_inttypes.h" # endif # define HAVE_INT8_T 1 # define HAVE_UINT8_T 1 |