diff options
author | Kalle Sommer Nielsen <kalle@php.net> | 2014-12-14 22:26:16 +0100 |
---|---|---|
committer | Kalle Sommer Nielsen <kalle@php.net> | 2014-12-14 22:26:16 +0100 |
commit | 6b8ed592b92027ceb4f76e6a06754a9c75ca4f36 (patch) | |
tree | a24ecf486889dd08a5fd62a7b1ea81fc8bb2426a /ext/standard/php_type.h | |
parent | a3615aeea40d56c3f4a7e59a8817898baed3ca1a (diff) | |
download | php-git-6b8ed592b92027ceb4f76e6a06754a9c75ca4f36.tar.gz |
Change back to use is_int() as function instead of is_integer(), as per Jan TvrdĂk's request @github
Diffstat (limited to 'ext/standard/php_type.h')
-rw-r--r-- | ext/standard/php_type.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/standard/php_type.h b/ext/standard/php_type.h index 9ecfcd6d15..14a782c37b 100644 --- a/ext/standard/php_type.h +++ b/ext/standard/php_type.h @@ -30,7 +30,7 @@ PHP_FUNCTION(settype); PHP_FUNCTION(is_null); PHP_FUNCTION(is_resource); PHP_FUNCTION(is_bool); -PHP_FUNCTION(is_integer); +PHP_FUNCTION(is_int); PHP_FUNCTION(is_float); PHP_FUNCTION(is_numeric); PHP_FUNCTION(is_string); |