' . Get_Text($page) . ''; return ''; } function make_navigation_for($name, $pages) { global $privileges, $p; $specials = array( "faq" ); $menu = ""; foreach ($pages as $page) if (in_array($page, $privileges) || in_array($page, $specials)) $menu .= '' . Get_Text($page) . ''; if ($menu != "") $menu = ''; return $menu; } function make_menu() { return make_navigation() . make_langselect(); } ?>