Originariamente inviato da pierotto
Devi avere gli allarmi disabilitati nel file php.ini.
Questo è probabile, il server non è il mio, ma gira su un altro server e non hop accesso al php.ini

A parte questo, parafrasando il tuo caso, di solito faccio così:
codice:
$_SESSION['menu'] = array_diff($_SESSION['menu'],$_GET);
print_r($_SESSION);
Non mi era venuto in mente che $_GET è un array e che si poteva usare tranquillamente array_diff

Grazie mille!