if (basename($_SERVER['PHP_SELF']) != 'index.php) header("Location: www.dominio.it/index.php");