Advertisement

is_nav_menu

Check if the given ID is a navigation menu.

Advertisement

nav_menu_attr_title

This filter is documented in wp-includes/nav-menu.php