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?