codice:
$pagina_corrente = !isset($_GET['page']) ? 1 : (int)$_GET['page'];
$pagina_corrente = (!$_GET['page']) ? 1 : (int)$_GET['page'];

nessuno mi spiega la differenza??