if (isset($_GET['page']) && (($get_page_filtered = filter_var($_GET['page'], FILTER_VALIDATE_INT)) !== FALSE) { $get_page_int = $get_page_filtered; } @see https://stackoverflow.com/a/41868665/6758130
if (isset($_GET['page']) && (($get_page_filtered = filter_var($_GET['page'], FILTER_VALIDATE_INT)) !== FALSE) { $get_page_int = $get_page_filtered; }
@see https://stackoverflow.com/a/41868665/6758130