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
|
|
|
}}
|
2023-01-03 20:03:42 +00:00
|
|
|
{{! DO NOT REMOVE vector-menu class. It is used for click tracking in Extension:WikimediaEvents }}
|
2022-05-04 22:20:23 +00:00
|
|
|
<div id="{{id}}" class="vector-menu{{#class}} {{.}}{{/class}}" {{{html-tooltip}}} {{{html-user-language-attributes}}}>
|
2022-10-27 23:52:23 +00:00
|
|
|
{{#label}}
|
|
|
|
<div class="vector-menu-heading{{#label-class}} {{.}}{{/label-class}}">
|
2023-07-07 20:15:05 +00:00
|
|
|
{{.}}
|
2022-08-12 16:11:41 +00:00
|
|
|
</div>
|
2022-10-27 23:52:23 +00:00
|
|
|
{{/label}}
|
2023-07-07 20:15:05 +00:00
|
|
|
{{{html-label}}}
|
2022-11-17 23:12:52 +00:00
|
|
|
{{>MenuContents}}
|
2022-04-18 20:10:12 +00:00
|
|
|
</div>
|