diff --git a/.eslintrc.json b/.eslintrc.json index c498c3d..44f9aa8 100644 --- a/.eslintrc.json +++ b/.eslintrc.json @@ -4,5 +4,9 @@ "wikimedia/client", "wikimedia/jquery", "wikimedia/mediawiki" - ] + ], + "rules": { + // Interferes with @type annotations. + "one-var": "off" + } } diff --git a/includes/templates/Portal.mustache b/includes/templates/Portal.mustache index 62a25e8..853e925 100644 --- a/includes/templates/Portal.mustache +++ b/includes/templates/Portal.mustache @@ -3,11 +3,11 @@ Each portal has the following composition: string portal-id string html-tooltip string msg-label-id - string|null html-userlangattributes - string msg-label} + string? html-userlangattributes + string msg-label string html-portal-content - string|null html-after-portal - string|null html-hook-vector-after-toolbox is deprecated and used by the toolbox portal. + string? html-after-portal + string? html-hook-vector-after-toolbox is deprecated and used by the toolbox portal. }}