Christian Lohmaier 3c24038f0e menu:style="radio" is used since 2010, update dtd to reality ...

menubar definitions using  menu:style="radio" attribute were
introduced with df4017a8fffb448cd2f202ed297754f275ca6be3 / the other
commits of that cws, but the dtd wasn't adjusted accordingly

Change-Id: I7c7e1b8116800ee20cfede431ed90ef8f213cce0
Reviewed-on: https://gerrit.libreoffice.org/60276
Tested-by: Jenkins
Reviewed-by: Christian Lohmaier <lohmaier+LibreOffice@googlemail.com>

2018-09-19 10:58:08 +02:00

..

accelerator.dtd

…

event.dtd

…

groupuinames.dtd

…

image.dtd

…

menubar.dtd

…

statusbar.dtd

…

toolbar.dtd

…