wikimedia/mediawiki-extensions-ImageMap
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ImageMap synced 2024-11-23 13:56:46 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use the namespaced versions of some class names (vs aliases)

Browse source 
Change-Id: Idc350cfc4ece2eaa73f8cd2a0a97b839d4caf37e
This commit is contained in:
Subramanya Sastry 2024-01-02 13:50:14 -06:00
parent 590c939e9b
commit 655ea71656
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
includes/ImageMap.php
View file

@ -24,10 +24,10 @@ use DOMDocumentFragment;
use DOMElement;
use MediaWiki\Hook\ParserFirstCallInitHook;
use MediaWiki\MediaWikiServices;
use MediaWiki\Output\OutputPage;
use MediaWiki\Parser\Sanitizer;
use MediaWiki\Title\Title;
use OutputPage;
use Parser;
use Sanitizer;
use Wikimedia\Assert\Assert;
use Wikimedia\Parsoid\Ext\WTUtils;
use Wikimedia\Parsoid\Utils\DOMCompat;