Meins

function &menubench_get_menu_items($curkey, &$keys, &$items,
	&$templ, $curtemplkey = 'current_item', $prefix = '', $postfix = '')
{
	$str = '';
	$dosep = false;
	reset($keys);
	while($ent = each($keys))
	{
		if(!isset($items[$ent[1]]))
			continue;

		if($curkey != $ent[1])
			$w = 'item';
		else
			$w = $curtemplkey;
		$str .= menubench_get_item(
			$templ, $w, $items[$ent[1]], $dosep);
	}
	if($dosep)
		$str = $prefix.$str.$postfix;
	return $str;
}