Ragazzi non riesco a capire se è un bug o no. Ho fatto delle prove, non funziona, praticamente il broswer scrive anche se ci sono delle lettere o numeri mischiati. Non capisco

Ad esempio qui mi dice "errore inserisci un numero", quando in realtà il codice dovrebbe essere ok

Codice PHP:
<?php 


$numero_telefono = "123";
If (is_int ($numero_telefono)) {
echo "Questo è il tuo numero di telefono: $numero_telefono" ;
} else {
echo "Errore inserisci un numero.";
}



?>