Я пытаюсь переопределить вывод пользовательского меню в блоке, чтобы вместо
<ul class="menu">...</ul>
я мог получить
<select name="menu title">...</select>
В Drupal 6 я мог бы использовать функцию theme_menu_tree($tree,$menu_name="") {...}
, но это не работает в Drupal 7 с функцией theme_menu_tree($variables) {...}
.
Я пробовал theme_menu_tree__mymenu($variables) {...}
безуспешно.Как мне указать уникальное меню в Drupal 7?
Спасибо.