diff options
| -rw-r--r-- | helpers/xmlhelp.dtd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/helpers/xmlhelp.dtd b/helpers/xmlhelp.dtd index 7e508cdc5f..6a9282dc8e 100644 --- a/helpers/xmlhelp.dtd +++ b/helpers/xmlhelp.dtd @@ -26,7 +26,7 @@ Version Nov 2018 Added extensions: H1, .. H6, menuitem, keycode, literal input, widget, note, tip, warning --> -<!ELEMENT ahelp (#PCDATA | embedvar | br | comment | emph | sub | sup | item | link | switchinline | variable)*> +<!ELEMENT ahelp (#PCDATA | embedvar | br | comment | emph | menuitem | widget | keycode | input | literal | sub | sup | item | link | switchinline | variable)*> <!ATTLIST ahelp hid CDATA #REQUIRED visibility (hidden | visible) #IMPLIED |