Tag: duplicate-tag-in-menu
Severity: warning
Check: menu-format
Renamed-From:
duplicated-tag-in-menu-item
Explanation: The menu item contains the same tag twice. At best, it is
a waste of space. The menu system will only use one of them.
See-Also:
menu-manual 3.2