4d91d52dfc
In new Vector, the logo will no longer be present, so we need a more future proof way of determining what the first portal is. A new class `portal-first` is added (no decision about adopting BEM has been made yet). Cached pages will continue to use the old selector for now. Change-Id: I6ac4493bb1f63686b48ff0c22b18d50d9fffb51d
24 lines
707 B
Plaintext
24 lines
707 B
Plaintext
{{!
|
|
Each portal has the following composition:
|
|
string portal-id
|
|
string class of portal
|
|
string html-tooltip
|
|
string msg-label-id
|
|
string? html-userlangattributes
|
|
string msg-label
|
|
string html-portal-content
|
|
string? html-after-portal
|
|
string? html-hook-vector-after-toolbox is deprecated and used by the toolbox portal.
|
|
}}
|
|
<div class="{{class}}" role="navigation" id="{{portal-id}}" {{{html-tooltip}}} aria-labelledby="{{msg-label-id}}">
|
|
<h3 {{{html-userlangattributes}}} id="{{msg-label-id}}">
|
|
{{msg-label}}
|
|
</h3>
|
|
<div class="body">
|
|
{{{html-portal-content}}}
|
|
{{{html-after-portal}}}
|
|
</div>
|
|
</div>
|
|
{{! Note: html-hook-vector-after-toolbox is deprecated. }}
|
|
{{{html-hook-vector-after-toolbox}}}
|