mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-14 19:26:42 +00:00
21 lines
849 B
Plaintext
21 lines
849 B
Plaintext
<div class="vector-column-end">
|
|
<div class="vector-sticky-pinned-container">
|
|
<nav class="vector-page-tools-landmark" aria-label="{{msg-vector-page-tools-nav-label}}">
|
|
{{#data-page-tools}}
|
|
{{>PinnableContainer/Pinned/Open}}
|
|
{{! Use `#vector-page-tools-pinned-container .vector-page-tools` to target styles at this element}}
|
|
{{#is-pinned}}{{>PageTools}}{{/is-pinned}}
|
|
{{>PinnableContainer/Close}}
|
|
{{/data-page-tools}}
|
|
</nav>
|
|
<nav class="vector-client-prefs-landmark" aria-label="{{msg-vector-client-prefs-label}}">
|
|
{{#data-client-prefs}}
|
|
{{>PinnableContainer/Pinned/Open}}
|
|
{{! Use `#vector-client-prefs-pinned-container .vector-client-prefs` to target styles at this element}}
|
|
{{#is-pinned}}{{>ClientPreferences}}{{/is-pinned}}
|
|
{{>PinnableContainer/Close}}
|
|
{{/data-client-prefs}}
|
|
</nav>
|
|
</div>
|
|
</div>
|