ho provato il tuo script e l'unica cosa che ho fatto e' di aggiungere all'inizio la seguente riga:


$pagina = isset($_GET['pagina']) ? $_GET['pagina'] : "";

poi per il resto funziona.