mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-23 15:16:50 +00:00
Update UserOptionsLookup's FQN
User-options related classes are being moved to the MediaWiki\User\Options namespace in MediaWiki Core; reflect that change here. Bug: T352284 Depends-On: I9822eb1553870b876d0b8a927e4e86c27d83bd52 Change-Id: I0c66220b0ba9501e8ef20a172d21d7e75a19d6cc
This commit is contained in:
parent
65d5156e75
commit
031ace2dba
|
@ -10,7 +10,7 @@
|
|||
"descriptionmsg": "popups-desc",
|
||||
"license-name": "GPL-2.0-or-later",
|
||||
"requires": {
|
||||
"MediaWiki": ">= 1.41"
|
||||
"MediaWiki": ">= 1.42.0"
|
||||
},
|
||||
"AutoloadNamespaces": {
|
||||
"Popups\\": "includes/"
|
||||
|
|
|
@ -25,7 +25,7 @@ use ExtensionRegistry;
|
|||
use MediaWiki\MediaWikiServices;
|
||||
use MediaWiki\SpecialPage\SpecialPageFactory;
|
||||
use MediaWiki\Title\Title;
|
||||
use MediaWiki\User\UserOptionsLookup;
|
||||
use MediaWiki\User\Options\UserOptionsLookup;
|
||||
|
||||
/**
|
||||
* Popups Module
|
||||
|
|
|
@ -20,7 +20,7 @@
|
|||
*/
|
||||
|
||||
use MediaWiki\Title\Title;
|
||||
use MediaWiki\User\UserOptionsLookup;
|
||||
use MediaWiki\User\Options\UserOptionsLookup;
|
||||
use PHPUnit\Framework\MockObject\Stub\ConsecutiveCalls;
|
||||
use Popups\PopupsContext;
|
||||
use Popups\PopupsGadgetsIntegration;
|
||||
|
|
|
@ -19,6 +19,7 @@
|
|||
* @ingroup extensions
|
||||
*/
|
||||
|
||||
use MediaWiki\User\Options\UserOptionsLookup;
|
||||
use Popups\PopupsContext;
|
||||
use Popups\PopupsGadgetsIntegration;
|
||||
|
||||
|
|
Loading…
Reference in a new issue