mediawiki-skins-Vector/includes/templates/Portal.mustache
Stephen Niedzielski bd7bd75569 [JavaScript] Validate types
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
2020-03-16 09:10:08 -06:00

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}}}