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.