Hola.
Bienvenido al foro de soporte. En el menú no puedes usar php, pero usando un plugin puedes añadir shortcodes:
Shortcode API
Shortcode in Menus
Puedes crear un shortcode con el código que te pasó el desarrollador y añadirlo como un elemento del menú. Te dejo unos enlaces con información:
Cómo crear shortcodes personalizados en WordPress
Cómo dinamizar tu proyecto con shortcodes de WordPress
Coméntanos si te sirvió y, por favor, recuerda cerrar el debate marcándolo como resuelto, así nos ayudas a mantener el foro al día.
Buenas tardes Jose Luís,
Gracias por tu rápida respuesta y por tus consejos. Efectivamente ha funcionado, solo ahora solo me queda aplicar los estilos CSS para adecuarlo al diseño de la web.
Saludos!