mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-27 17:00:37 +00:00
Replace some moved Title class uses, now MediaWiki\Title\Title
Bug: T321681 Change-Id: Ia3b739ceacc035d64ec6d13de9d3e6de102dbb20
This commit is contained in:
parent
30b5e96d53
commit
2da869fa58
|
@ -25,8 +25,8 @@ use ExtensionRegistry;
|
|||
use MediaWiki\Extension\BetaFeatures\BetaFeatures;
|
||||
use MediaWiki\MediaWikiServices;
|
||||
use MediaWiki\SpecialPage\SpecialPageFactory;
|
||||
use MediaWiki\Title\Title;
|
||||
use MediaWiki\User\UserOptionsLookup;
|
||||
use Title;
|
||||
|
||||
/**
|
||||
* Popups Module
|
||||
|
|
|
@ -19,6 +19,7 @@
|
|||
* @ingroup extensions
|
||||
*/
|
||||
|
||||
use MediaWiki\Title\Title;
|
||||
use MediaWiki\User\UserOptionsLookup;
|
||||
use PHPUnit\Framework\MockObject\Stub\ConsecutiveCalls;
|
||||
use Popups\PopupsContext;
|
||||
|
|
Loading…
Reference in a new issue