";
$file = file($navfile);
while (list(,$line) = each($file)) {
unset($link);
$elements = explode("|",$line);
while (list(,$element) = each($elements)) {
list($key,$val) = explode("=",$element);
$link[$key] = $val;
}
if (!(strpos($selflink,$link["link"]))) {
echo "
".$link["space"]."\r\n";
} else {
echo "".$link["space"]."".$link[$lng]."\r\n";
}
}
}
echo "";
}
$navfile = "../navlinks.txt";
if (ereg('/de/',$PHP_SELF)) {
print_navigation($PHP_SELF,$navfile,"de");
} elseif (ereg('/en/',$PHP_SELF)) {
print_navigation($PHP_SELF,$navfile,"en");
} elseif (ereg('/es/',$PHP_SELF)) {
print_navigation($PHP_SELF,$navfile,"es");
}
?>