Provide typedefs for php_int32

diff --git a/ext/standard/basic_functions.h b/ext/standard/basic_functions.h
index 4179dbd0b74ddba5dce1a9ceae01e81de9ccf710..f72c8f77b7f948ee4d906205502f2cbd1be5a6d5 100644 (file)
--- a/ext/standard/basic_functions.h
+++ b/ext/standard/basic_functions.h
@@ -127,9 +127,11 @@ PHPAPI int _php_error_log(int opt_err,char *message,char *opt,char *headers);
 #if SIZEOF_INT == 4
 /* Most 32-bit and 64-bit systems have 32-bit ints */
 typedef unsigned int php_uint32;
+typedef signed int php_int32;
 #elif SIZEOF_LONG == 4
 /* 16-bit systems? */
 typedef unsigned long php_uint32;
+typedef signed int php_int32;
 #else
 #error Need type which holds 32 bits
 #endif