mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-12-02 19:26:51 +00:00
30 lines
974 B
Plaintext
30 lines
974 B
Plaintext
|
{{!
|
||
|
See @typedef MenuDefinition
|
||
|
}}
|
||
|
{{! `role` is unnecessary but kept to support selectors in any gadgets or user styles. }}
|
||
|
|
||
|
<nav id="{{id}}"{{#class}} class="{{.}}"{{/class}} aria-labelledby="{{id}}-label" role="navigation" {{{html-tooltip}}} {{{html-user-language-attributes}}}>
|
||
|
{{#is-dropdown}}
|
||
|
<input type="checkbox"
|
||
|
id="{{id}}-checkbox"
|
||
|
role="button"
|
||
|
aria-haspopup="true"
|
||
|
data-event-name="ui.dropdown-{{id}}"
|
||
|
class="{{#checkbox-class}}{{.}} {{/checkbox-class}}vector-menu-checkbox"
|
||
|
aria-labelledby="{{id}}-label"
|
||
|
/>
|
||
|
{{/is-dropdown}}
|
||
|
<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>
|
||
|
<div class="vector-menu-content">
|
||
|
{{{html-before-portal}}}
|
||
|
<ul class="vector-menu-content-list">{{{html-items}}}</ul>
|
||
|
{{{html-after-portal}}}
|
||
|
</div>
|
||
|
</nav>
|