Pelo trecho que você colou, você está confiando em uma configuração do php.ini chamada register_globals.
Ao invés de usar $pagina diretamente no código, confiando que nela esteja o valor de $_GET['pagina'], faça você mesmo a atribuição, isto é o recomendado. Mas claro, antes certifique-se de que a própria $_GET['pagina'] exista com isset().
sou meio inciantes em PHP, como eu poderia implentar esse codigo para ele funcionar, eu vi em alguns foruns que se eu colocar $pagina = $_GET['pagina']; antes de todo o codigo ele funciona, mais nao consegui usar.