Me gustaría agregar pipes ("|") entre los elementos del menú para uno de los menús en mi sitio Drupal 7 (el nombre del tema es "thompson"). Pensé que la mejor manera de hacerlo es crear una función en mi archivo template.php llamado thompson_menu_link. Lo hice y está modificando con éxito los menús, pero está cambiando todos los menús. ¿Hay alguna forma de que pueda hacer esto solo por un menú en mi sitio?¿Puedo modificar theme_menu_link para un menú específico?
Actualmente, utilicé las páginas de administración para agregar mi menú de pie de página (ruta url: menú-pie de página-menú) al bloque de Pie de página. ¿Debería llamarlo de otra manera?
La parte que agregó sobre la solución que adoptó debe escribirse como respuesta. Si escribiste eso como respuesta, lo votaría mejor. ':-)' – kiamlaluno
Lo siento, nuevo aquí. No sabía si era mala forma responder mi propia pregunta y aceptarla. –