wikimedia/mediawiki-extensions-ImageMap
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ImageMap synced 2024-11-27 15:40:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use namespaced Xml class

Browse source 
Change-Id: I1cc4f8a077621d5c4af9ffc82f139b3a3a8bb69d
This commit is contained in:
Umherirrender 2024-10-20 01:20:58 +02:00
parent 55456bb0b6
commit c6023ed58c
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/ImageMap.php
View file

@ -28,11 +28,11 @@ use MediaWiki\Output\OutputPage;
use MediaWiki\Parser\Parser;
use MediaWiki\Parser\Sanitizer;
use MediaWiki\Title\Title;
use MediaWiki\Xml\Xml;
use Wikimedia\Assert\Assert;
use Wikimedia\Parsoid\Ext\WTUtils;
use Wikimedia\Parsoid\Utils\DOMCompat;
use Wikimedia\Parsoid\Utils\DOMUtils;
use Xml;
class ImageMap implements ParserFirstCallInitHook {