php_filter_number_int   61 ext/filter/filter.c 	{ "number_int",      FILTER_SANITIZE_NUMBER_INT,    php_filter_number_int      },
php_filter_number_int   92 ext/filter/php_filter.h void php_filter_number_int(PHP_INPUT_FILTER_PARAM_DECL);