/**
* Returns the html that builds the user menu, and sets the active element,
* based on the parameters. Contains a "log out" option.
*
* @global type $CONFIG global configuration variable
* @param string $active string that defines the active element of the menu
* @return type html
*/
public static function user_base_menu($active)
{
global $CONFIG;
$activity = $report = $profile = null;
${$active} = 'class="active"';
return '<ul class="nav">
<li ' . $activity . '><a href="' . $CONFIG->wwwroot . '/user/activity">' . Lang::get('activity') . '</a></li>
<li ' . $report . '><a href="' . $CONFIG->wwwroot . '/user/report">' . Lang::get('report') . '</a></li>
<li ' . $profile . '><a href="' . $CONFIG->wwwroot . '/user/profile">' . Lang::get('profile') . '</a></li>
</ul>' . MenuHelper::get_logout_option();
}