/**
* @param Horde_Menu $menu A menu object
*/
public function menu($menu)
{
global $conf, $injector;
if (empty($this->highlight) && basename($_SERVER['PHP_SELF']) == 'index.php') {
$this->highlight = 'sesha-list';
}
$menu->add(Horde::url('list.php'), _("_List Stock"), 'sesha-list', null, null, null, $this->highlight == 'sesha-list' ? 'current' : null);
/* Search. */
$menu->add(Horde::url('search.php'), _("_Search"), 'sesha-search', null, null, null, $this->highlight == 'sesha-search' ? 'current' : null);
if (Sesha::isAdmin(Horde_Perms::READ) || $perms->hasPermission('sesha:addStock', $GLOBALS['registry']->getAuth(), Horde_Perms::READ)) {
$menu->add(Horde::url('admin.php'), _("Administration"), 'sesha-admin');
}
}