[php] redere intero una stringa

[nicola75ss]

$stringa = "9";
echo gettype($stringa);
$stringa2 = (int)($stringa);
echo gettype($stringa2);