diff options
Diffstat (limited to '')
-rw-r--r-- | tags/d/duplicate-tag-in-menu.tag | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tags/d/duplicate-tag-in-menu.tag b/tags/d/duplicate-tag-in-menu.tag new file mode 100644 index 0000000..3dc8462 --- /dev/null +++ b/tags/d/duplicate-tag-in-menu.tag @@ -0,0 +1,9 @@ +Tag: duplicate-tag-in-menu +Severity: warning +Check: menu-format +Renamed-From: + duplicated-tag-in-menu-item +Explanation: The <code>menu</code> item contains the same tag twice. At best, it is + a waste of space. The <code>menu</code> system will only use one of them. +See-Also: + menu-manual 3.2 |