I'm trying to override a custom menu output in a block so that instead of
<ul class="menu">...</ul>
I can get
<select name="menu title">...</select>
In Drupal 6, I could use function theme_menu_tree($tree,$menu_name="") {...}
but this doesn't work in Drupal 7 with function theme_menu_tree($variables) {...}
.
I've tried theme_menu_tree__mymenu($variables) {...}
with no success. How do I specify a unique menu in Drupal 7?
Thanks.