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()); }