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>";
}