Ciao a tutti, sto recuperando dei valori tramite $_GET.
Questi valori devono essere numeri interi, quindi ho fatto un check in questo modo:
Codice PHP:
$var0 $_GET['var0'];
$var1 $_GET['var1'];
$var2 $_GET['var2'];

if(!
is_int($var0)) {
  echo 
"numero non intero";
} else {
  echo 
"numero intero";

tuttavia mi dice sempre 'numero non intero' anche quando lo è.
Suggerimento?