2022-04-18 20:10:12 +00:00
|
|
|
{{!
|
|
|
|
See @typedef MenuDefinition
|
|
|
|
}}
|
|
|
|
{{! `role` is unnecessary but kept to support selectors in any gadgets or user styles. }}
|
2023-01-03 20:03:42 +00:00
|
|
|
{{! DO NOT REMOVE vector-menu class. It is used for click tracking in Extension:WikimediaEvents }}
|
2024-05-28 14:18:29 +00:00
|
|
|
<nav id="{{id}}" class="{{#class}}{{.}}{{/class}} vector-menu" aria-labelledby="{{id}}-label" {{{html-tooltip}}} {{{html-user-language-attributes}}}>
|
2022-04-18 20:10:12 +00:00
|
|
|
{{#is-dropdown}}
|
|
|
|
<input type="checkbox"
|
|
|
|
id="{{id}}-checkbox"
|
|
|
|
role="button"
|
|
|
|
aria-haspopup="true"
|
|
|
|
data-event-name="ui.dropdown-{{id}}"
|
2022-05-04 22:20:23 +00:00
|
|
|
class="vector-menu-checkbox{{#checkbox-class}} {{.}}{{/checkbox-class}}"
|
2022-04-18 20:10:12 +00:00
|
|
|
aria-labelledby="{{id}}-label"
|
2023-10-23 21:21:47 +00:00
|
|
|
>
|
2022-04-18 20:10:12 +00:00
|
|
|
<label
|
|
|
|
id="{{id}}-label"
|
|
|
|
{{#aria-label}} aria-label="{{.}}"{{/aria-label}}
|
|
|
|
class="vector-menu-heading{{#heading-class}} {{.}}{{/heading-class}}"
|
|
|
|
>
|
|
|
|
{{{html-vector-heading-icon}}}<span class="vector-menu-heading-label">{{label}}</span>
|
|
|
|
</label>
|
2022-06-06 22:00:38 +00:00
|
|
|
{{/is-dropdown}}
|
|
|
|
{{^is-dropdown}}
|
|
|
|
<h3
|
|
|
|
id="{{id}}-label"
|
|
|
|
{{#aria-label}} aria-label="{{.}}"{{/aria-label}}
|
|
|
|
class="vector-menu-heading{{#heading-class}} {{.}}{{/heading-class}}"
|
|
|
|
>
|
|
|
|
{{{html-vector-heading-icon}}}<span class="vector-menu-heading-label">{{label}}</span>
|
|
|
|
</h3>
|
|
|
|
{{/is-dropdown}}
|
2022-11-17 23:12:52 +00:00
|
|
|
{{>MenuContents}}
|
2022-04-18 20:10:12 +00:00
|
|
|
</nav>
|