mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-29 09:55:42 +00:00
a1199a0917
Restricted to the feature flag (?vectorvisualenhancementnext=1) for now to allow us to not worry about caching. mw-ui-icon-flush-left and mw-ui-icon-flush-right have been in core for some time and using them means we don't have to manage hardcoded values for these. We'll need to think of .mixin-vector-flush-left-left and .mixin-vector-flush-right-margin-left separately - I wonder if these could be revised to use these 2 standard classes. Additional changes: - Drop unused mixin-vector-flush-right-margin-left mixin Bug: T321504 Bug: T317583 Change-Id: I51f8e31be6771a3fb32fb07dc22d0c2872b5706d
21 lines
726 B
Plaintext
21 lines
726 B
Plaintext
<header class="mw-header mw-ui-icon-flush-left mw-ui-icon-flush-right">
|
|
<div class="mw-header-aside vector-header-start">
|
|
<label
|
|
id="mw-sidebar-button"
|
|
class="mw-checkbox-hack-button mw-ui-icon mw-ui-button mw-ui-quiet mw-ui-icon-element"
|
|
for="mw-sidebar-checkbox"
|
|
role="button"
|
|
aria-controls="mw-panel"
|
|
data-event-name="ui.sidebar"
|
|
tabindex="0"
|
|
title="{{msg-vector-main-menu-tooltip}}">
|
|
<span>{{msg-vector-action-toggle-sidebar}}</span>
|
|
</label>
|
|
{{#data-logos}}{{>Logo}}{{/data-logos}}
|
|
</div>
|
|
<div class="mw-header-content vector-header-end">
|
|
{{#data-search-box}}{{>SearchBox}}{{/data-search-box}}
|
|
{{#data-vector-user-links}}{{>UserLinks}}{{/data-vector-user-links}}
|
|
</div>
|
|
</header>
|