FILTER_VALIDATE_INT   13 ext/filter/docs/input_get_args.php     'component'     => array('filter'	=> FILTER_VALIDATE_INT,
FILTER_VALIDATE_INT   25 ext/filter/docs/input_get_args.php 	'doesnotexist'	=> FILTER_VALIDATE_INT,
FILTER_VALIDATE_INT   26 ext/filter/docs/input_get_args.php 	'testscalar'	=> FILTER_VALIDATE_INT,
FILTER_VALIDATE_INT   28 ext/filter/docs/input_get_args.php 							'filter' => FILTER_VALIDATE_INT,
FILTER_VALIDATE_INT   42 ext/filter/filter.c 	{ "int",             FILTER_VALIDATE_INT,           php_filter_int             },
FILTER_VALIDATE_INT  229 ext/filter/filter.c 	REGISTER_LONG_CONSTANT("FILTER_VALIDATE_INT", FILTER_VALIDATE_INT, CONST_CS | CONST_PERSISTENT);