wikimedia/mediawiki-extensions-ImageMap
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ImageMap synced 2024-11-30 17:04:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Updating mediawiki/mediawiki-phan-config to 0.10.4

Browse source 
Change-Id: I08d86d940369267b661e05628578ce81802773f4
This commit is contained in:
libraryupgrader 2020-11-20 07:41:48 +00:00 committed by Daimona Eaytoy
parent 593bbe7eff
commit 70257f4768
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
composer.json
View file

@ -15,7 +15,7 @@
}, },
"require-dev": { "require-dev": {
"mediawiki/mediawiki-codesniffer": "33.0.0", "mediawiki/mediawiki-codesniffer": "33.0.0",
"mediawiki/mediawiki-phan-config": "0.10.3", "mediawiki/mediawiki-phan-config": "0.10.4",
"mediawiki/minus-x": "1.1.0", "mediawiki/minus-x": "1.1.0",
"php-parallel-lint/php-console-highlighter": "0.5.0", "php-parallel-lint/php-console-highlighter": "0.5.0",
"php-parallel-lint/php-parallel-lint": "1.2.0" "php-parallel-lint/php-parallel-lint": "1.2.0"

1
includes/ImageMap.php
View file

@ -262,6 +262,7 @@ class ImageMap {
if ( $shape === 'default' ) { if ( $shape === 'default' ) {
$defaultLinkAttribs = $attribs; $defaultLinkAttribs = $attribs;
} else { } else {
// @phan-suppress-next-line SecurityCheck-DoubleEscaped
$mapHTML .= Xml::element( 'area', $attribs ) . "\n"; $mapHTML .= Xml::element( 'area', $attribs ) . "\n";
} }
if ( $externLink ) { if ( $externLink ) {