wikimedia/mediawiki-extensions-ImageMap
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ImageMap synced 2024-12-01 01:06:13 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-ImageMap/includes
History
Umherirrender 9b9ef62a4c Remove null fallback from DOMElement::getAttribute 
Also set @phan-var to handle nullable parentNode
DOMNode::$parentNode is documented as nullable in php8.1
DOMElement::getAttribute is documented to return string in php8.1
Reported by phan running under php8.1

Change-Id: Ia4abd7bf03bc52d7d4ba2c69738bb90c55d01a2b
2023-10-06 20:08:08 +02:00
..
ImageMap.php Remove null fallback from DOMElement::getAttribute 2023-10-06 20:08:08 +02:00
ParsoidImageMap.php Remove null fallback from DOMElement::getAttribute 2023-10-06 20:08:08 +02:00