Allora usa un foreach

Codice PHP:
function InitMenu() {
$info LoadInfo(menu);
echo 
"\n <div id=\"nav\">";
echo 
"\n <ul>";
echo 
"\n[*]<a href=\"?content=home\">home</a>";
foreach(
$info as $menu => $active) {
echo 
"\n[*]$active[*]";
}
echo 
"\n[/list]";
echo 
"\n </div>";