Hallo,
oder in eine variable einlesen. $menu = file(menu.txt)
Lager das Menu einfach aus. Lese es ein, modifiziere es gemäß dem GET Inhalt und gut.
Oder schreibe jeden Link einzeln.
Clientseitig ginge es auch per JS, wenn es nicht so wichtig ist, dass es uU nicht funktioniert.
netten Tag
^da Powl