2020-01-09 10:59:09 +00:00
|
|
|
{{!
|
2020-05-06 00:00:56 +00:00
|
|
|
See @typedef MenuDefinition
|
2020-01-09 10:59:09 +00:00
|
|
|
}}
|
2020-05-13 22:46:23 +00:00
|
|
|
{{! `role` is unnecessary but kept to support selectors in any gadgets or user styles. }}
|
|
|
|
|
<!-- Please do not use role attribute as CSS selector, it is deprecated. -->
|
|
|
|
|
<nav id="{{id}}" {{#class}}class="{{.}}"{{/class}} aria-labelledby="{{label-id}}" role="navigation" {{{html-tooltip}}}
|
2020-07-14 21:40:28 +00:00
|
|
|
{{{html-user-language-attributes}}}>
|
2020-05-06 00:00:56 +00:00
|
|
|
{{#is-dropdown}}
|
2020-06-11 21:02:04 +00:00
|
|
|
<input type="checkbox" class="vector-menu-checkbox vectorMenuCheckbox" aria-labelledby="{{label-id}}" />
|
2020-04-16 18:40:39 +00:00
|
|
|
{{/is-dropdown}}
|
|
|
|
|
<h3 id="{{label-id}}">
|
2020-05-06 00:00:56 +00:00
|
|
|
<span>{{label}}</span>
|
|
|
|
|
</h3>
|
2020-04-16 18:40:39 +00:00
|
|
|
{{! `body` class for backwards compatibility but let editors know not to use
|
|
|
|
|
it via HTML comment below: }}
|
|
|
|
|
<!-- Please do not use the .body class, it is deprecated. -->
|
|
|
|
|
<div class="body vector-menu-content">
|
|
|
|
|
<!-- Please do not use the .menu class, it is deprecated. -->
|
2020-05-21 18:49:24 +00:00
|
|
|
<ul class="{{list-classes}}">{{{html-items}}}</ul>
|
2020-04-07 23:21:20 +00:00
|
|
|
{{{html-after-portal}}}
|
|
|
|
|
</div>
|
2020-05-13 22:46:23 +00:00
|
|
|
</nav>
|
