mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-28 17:40:12 +00:00
bd7bd75569
Lift the mists of confusion by checking that all JavaScript types align. No ignores! This is the JavaScript equivalent to Phan. This patch adds the necessary infrastructure for verifying typing and fixes the few flaws found. Bug: T239262 Change-Id: I2557471421196ea46cd13dfb786a52968fbfcc97
23 lines
680 B
Plaintext
23 lines
680 B
Plaintext
{{!
|
|
Each portal has the following composition:
|
|
string portal-id
|
|
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="portal" 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}}}
|