Redirecionamento via dropdown menu com PHP

Hoje em dias, diversos sites usam um menu chamado “Mapa do site” ou algo parecido para navegar em todas as seções do Website, como o website da Oi. Este tipo de navegação é o que chamamos de Dropdown navigation e vem se tornando muito popular por ocupar pouquíssimo espaço no layout do site - afinal todo mundo quer ter espaço para colocar as propagandas e papagaiadas de sempre.

Agora, o que quero descrever é que a maioria dos sites não usa PHP para isso e sim um Java Script relativamente grande. Particularmente, acho uma besteira ter que fazer tudo com Java Script e que é Ajax para cá e Ajax para lá. Se pudermos diminuir o código usado, por que não?

Meu pensamento seria algo como criar um formulário em HTML mesmo, que manda via post a área desejada. Então teríamos o formulário:

<form action="redireciona.php" method="post">
<select name="pagina">
<option value="http://gunfree.info">Gunfree.info</option>
<option value="http://www.google.com">Google</option>
</select>
<input type="submit" value="Ok">
</form>

E o simples script em PHP para fazer o redirecionamento:

$pagina = $_POST["pagina"];
header(”Location: $pagina”);

Muito mais simples do que aqueles scripts gigantescos prontos, que geralmente ficam no bloqueio de Active-X do Internet Explorer.