mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-12-01 02:37:05 +00:00
13 lines
798 B
Plaintext
13 lines
798 B
Plaintext
<div
|
|
{{#id}}id="{{.}}"{{/id}}
|
|
class="vector-pinnable-header vector-pinnable-header-{{#is-pinned}}pinned{{/is-pinned}}{{^is-pinned}}unpinned{{/is-pinned}}{{#class}} {{.}}{{/class}}"
|
|
{{#data-name}}data-name={{.}}{{/data-name}}
|
|
{{#data-pinnable-element-id}}data-pinnable-element-id={{.}}{{/data-pinnable-element-id}}
|
|
{{#data-pinned-container-id}}data-pinned-container-id={{.}}{{/data-pinned-container-id}}
|
|
{{#data-unpinned-container-id}}data-unpinned-container-id={{.}}{{/data-unpinned-container-id}}
|
|
>
|
|
<div class="vector-pinnable-header-label">{{label}}</div>
|
|
<button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button">{{pin-label}}</button>
|
|
<button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button">{{unpin-label}}</button>
|
|
</div>
|