public static function signed_in($user, $loginfailures, $mnet, $real, $role_switch, $logout)
{
$links[] = bootstrap::li_icon_link($user['link'], 'user', 'Profile');
if ($mnet !== null) {
$links[] = bootstrap::li_icon_link($mnet['link'], 'globe', $mnet['name']);
}
if (isset($loginfailures)) {
$links[] = bootstrap::li_icon_link($loginfailures['link'], 'warning-sign', $loginfailures['name']);
$user['name'] .= ' ' . bootstrap::icon('warning-sign');
}
if ($role_switch !== null) {
$links[] = bootstrap::li_icon_link($role_switch['link'], 'repeat', $role_switch['name']);
}
if ($real !== null) {
$links[] = bootstrap::li_icon_link($real['link'], 'user', $real['name']);
}
$links[] = bootstrap::list_divider();
$links[] = bootstrap::li_icon_link($logout['link'], 'off', $logout['name']);
return html::ul('nav pull-right', bootstrap::dropdown_menu($user['name'], $links));
}
private function render_custom_menu_leaf(custom_menu_item $menunode)
{
$icon = $menunode->get_title();
if (strpos($icon, 'icon-') === 0) {
$icon = substr($icon, 5);
} else {
$icon = '';
}
return bootstrap::li_icon_link($menunode->get_url(), $icon, $menunode->get_text());
}
