'Настройки',
'content' => array(
'system_groupmanager' => 'Группы',
'system_usermanager' => 'Пользователи',
'system_changepasswd' => 'Сменить пароль'
)
),
/* список меню 'Статистика' */
array(
'title' => 'Статистика',
'content' => array(
'statistic_show' => 'Показать статистику',
'statistic_control' => 'Общие настройки'
)
),
/* список меню 'Информация' */
array(
'title' => 'Информация',
'content' => array(
'info_system' => 'Система'
)
)
);
/* печатает меню */
function print_menu()
{
global $systemMenu;
/* функция отображает один параграф меню */
function print_menu_list(&$menu)
{
global $content;
if (array_intersect($content, array_keys($menu['content']))) {
echo '- ' . $menu['title'] . "
\n";
foreach ($menu['content'] as $link => $val) {
if (in_array($link, $content)) {
echo "- $val
\n";
}
}
echo "
\n";
}
}
/* напечатаем параграфы меню */
foreach ($systemMenu as $menu) {
print_menu_list($menu);
}
/* стандартные пункты меню, отображаются у всех типов пользователей */
echo <<
Разное
Выйти
EOF;
}
?>