mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-23 15:16:50 +00:00
Use namespaced ExtensionRegistry class
Change-Id: I3918af0ae84c9304e64c64f800e28b51e59b1136
This commit is contained in:
parent
a5c01f6813
commit
7b7063ed48
|
@ -20,8 +20,8 @@
|
|||
*/
|
||||
namespace Popups;
|
||||
|
||||
use ExtensionRegistry;
|
||||
use MediaWiki\Config\Config;
|
||||
use MediaWiki\Registration\ExtensionRegistry;
|
||||
use MediaWiki\SpecialPage\SpecialPageFactory;
|
||||
use MediaWiki\Title\Title;
|
||||
use MediaWiki\User\Options\UserOptionsLookup;
|
||||
|
|
|
@ -20,13 +20,13 @@
|
|||
*/
|
||||
namespace Popups;
|
||||
|
||||
use ExtensionRegistry;
|
||||
use MediaWiki\Config\Config;
|
||||
use MediaWiki\Context\IContextSource;
|
||||
use MediaWiki\Output\Hook\BeforePageDisplayHook;
|
||||
use MediaWiki\Output\Hook\MakeGlobalVariablesScriptHook;
|
||||
use MediaWiki\Output\OutputPage;
|
||||
use MediaWiki\Preferences\Hook\GetPreferencesHook;
|
||||
use MediaWiki\Registration\ExtensionRegistry;
|
||||
use MediaWiki\ResourceLoader\Hook\ResourceLoaderGetConfigVarsHook;
|
||||
use MediaWiki\User\Options\UserOptionsManager;
|
||||
use MediaWiki\User\User;
|
||||
|
|
|
@ -3,6 +3,7 @@
|
|||
use MediaWiki\Config\Config;
|
||||
use MediaWiki\Logger\LoggerFactory;
|
||||
use MediaWiki\MediaWikiServices;
|
||||
use MediaWiki\Registration\ExtensionRegistry;
|
||||
use Popups\PopupsContext;
|
||||
use Popups\PopupsGadgetsIntegration;
|
||||
use Psr\Log\LoggerInterface;
|
||||
|
|
|
@ -21,6 +21,7 @@
|
|||
|
||||
use MediaWiki\Config\GlobalVarConfig;
|
||||
use MediaWiki\MainConfigNames;
|
||||
use MediaWiki\Registration\ExtensionRegistry;
|
||||
use MediaWiki\Title\Title;
|
||||
use MediaWiki\User\User;
|
||||
use PHPUnit\Framework\MockObject\Stub\ConsecutiveCalls;
|
||||
|
|
|
@ -20,6 +20,7 @@
|
|||
*/
|
||||
|
||||
use MediaWiki\Config\Config;
|
||||
use MediaWiki\Registration\ExtensionRegistry;
|
||||
use MediaWiki\User\Options\UserOptionsLookup;
|
||||
use Popups\PopupsContext;
|
||||
use Popups\PopupsGadgetsIntegration;
|
||||
|
|
|
@ -22,6 +22,7 @@ use MediaWiki\Config\Config;
|
|||
use MediaWiki\Config\HashConfig;
|
||||
use MediaWiki\Extension\Gadgets\Gadget;
|
||||
use MediaWiki\Extension\Gadgets\GadgetRepo;
|
||||
use MediaWiki\Registration\ExtensionRegistry;
|
||||
use MediaWiki\User\User;
|
||||
use Popups\PopupsGadgetsIntegration;
|
||||
|
||||
|
|
Loading…
Reference in a new issue