mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-15 11:58:44 +00:00
23 lines
930 B
Plaintext
23 lines
930 B
Plaintext
{{!
|
|
See @typedef MenuDefinition
|
|
}}
|
|
{{! `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}}}
|
|
{{{html-user-language-attributes}}}>
|
|
{{#is-dropdown}}
|
|
<input type="checkbox" class="vector-menu-checkbox vectorMenuCheckbox" aria-labelledby="{{label-id}}" />
|
|
{{/is-dropdown}}
|
|
<h3 id="{{label-id}}">
|
|
<span>{{label}}</span>
|
|
</h3>
|
|
{{! `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. -->
|
|
<ul class="{{list-classes}}">{{{html-items}}}</ul>
|
|
{{{html-after-portal}}}
|
|
</div>
|
|
</nav>
|