Appunti Drupal: visualizzare un menu qualsiasi

Oltre ai noti:

print theme('links', $primary_links);

e:

print theme('links', $secondary_links);

che vengono usati in un template PHPTemplate per visualizzare il menu principale e quello secondario in Drupal, è possibile visualizzare un qualunque altro menu richiamando il menu con il metodo menu_navigation_links():

print theme('links', menu_navigation_links('nome-del-menu',0)):

Dove, al posto di nome-del-menu, bisogna scrivere niente meno che il nome del menu.