FILTER_SANITIZE_NUMBER_INT does not convert string to int

Question

I thought that the filter_input(type, name, FILTER_SANITIZE_NUMBER_INT) will convert the string to int but it seems it does not.

$id = filter_input(INPUT_GET, 'id', FILTER_SANITIZE_NUMBER_INT);

if (isset($id) && is_int($id))

Is there another clean but working way to do this?

Answer 1

You can always just cast it:

$id = (int) $_GET['id'];