2022-10-17 20:09:53 +00:00
|
|
|
{{!
|
|
|
|
@typedef object main-menu-action
|
|
|
|
@prop string href
|
|
|
|
@prop string text
|
|
|
|
|
|
|
|
string html-logo-attributes for site logo. Must be used inside tag e.g. `class="logo" lang="en-gb"`
|
|
|
|
MenuDefinition data-portlets-first
|
|
|
|
MenuDefinition[] array-portlets-rest
|
|
|
|
main-menu-action data-main-menu-action For displaying an emphasized action in the main menu.
|
|
|
|
}}
|
2022-10-17 21:27:57 +00:00
|
|
|
<div class="vector-main-menu-container {{^data-toc}}vector-sidebar-container-no-toc{{/data-toc}}">
|
2022-10-17 20:09:53 +00:00
|
|
|
<div id="mw-navigation">
|
2022-12-14 20:57:25 +00:00
|
|
|
<nav id="mw-panel" aria-label="{{msg-vector-site-nav-label}}" role="navigation">
|
2022-11-30 22:22:33 +00:00
|
|
|
{{^is-page-tools-enabled}}
|
2022-12-14 20:57:25 +00:00
|
|
|
{{#data-main-menu}}{{>MainMenu}}{{/data-main-menu}}
|
|
|
|
{{/is-page-tools-enabled}}
|
|
|
|
{{#is-page-tools-enabled}}
|
|
|
|
{{#data-main-menu}}
|
|
|
|
{{>PinnableContainer/Pinned/Open}}
|
|
|
|
{{! Use `.vector-main-menu-pinned-container .vector-main-menu` to target styles at this element}}
|
|
|
|
{{#is-pinned}}{{>MainMenu}}{{/is-pinned}}
|
|
|
|
{{>PinnableContainer/Close}}
|
|
|
|
{{/data-main-menu}}
|
2022-11-30 22:22:33 +00:00
|
|
|
{{/is-page-tools-enabled}}
|
2022-10-17 20:09:53 +00:00
|
|
|
</nav>
|
|
|
|
</div>
|
|
|
|
</div>
|