Gabriel Caruso ce1d69a1f6 Use int instead of integer in type errors ... PHP requires integer typehints to be written "int" and does not allow "integer" as an alias. This changes type error messages to match the actual type name and avoids confusing messages like "must be of the type integer, integer given".		2018-02-04 19:08:23 +01:00
..
tests	Use int instead of integer in type errors	2018-02-04 19:08:23 +01:00
config.m4	Fixed bug #71219 configure script incorrectly checks for ttyname_r	2017-01-11 08:09:10 +00:00
CREDITS	Adjusted credits file so that it appears properly on phpinfo()	2006-04-07 03:41:06 +00:00
php_posix.h	year++	2018-01-02 12:57:58 +08:00
posix.c	year++	2018-01-02 12:57:58 +08:00