jenkins-bot has submitted this change and it was merged.
Change subject: SpecialVersion: Escape message 'version-ext-license'
......................................................................
SpecialVersion: Escape message 'version-ext-license'
Change-Id: I27fb766accba40d04a26a249f87b2f0c4cdf4ff7
---
M includes/specials/SpecialVersion.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Florianschmidtwelzow: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/specials/SpecialVersion.php
b/includes/specials/SpecialVersion.php
index 569069e..43228fa 100644
--- a/includes/specials/SpecialVersion.php
+++ b/includes/specials/SpecialVersion.php
@@ -840,7 +840,7 @@
if ( isset( $extension['license-name'] ) ) {
$licenseName = $out->parseInline(
$extension['license-name'] );
} elseif ( $this->getExtLicenseFileName( $extensionPath
) ) {
- $licenseName = $this->msg(
'version-ext-license' );
+ $licenseName = $this->msg(
'version-ext-license' )->escaped();
}
if ( $licenseName !== null ) {
$licenseLink = Linker::link(
--
To view, visit https://gerrit.wikimedia.org/r/264580
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I27fb766accba40d04a26a249f87b2f0c4cdf4ff7
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Gerrit Patch Uploader <[email protected]>
Gerrit-Reviewer: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: Gerrit Patch Uploader <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
