wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-09-23 10:21:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Update UserOptionsLookup's FQN"

Browse source
This commit is contained in:
jenkins-bot 2023-11-29 17:14:37 +00:00 committed by Gerrit Code Review
parent 96cea43fe1 031ace2dba
commit ea42009239
3 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/PopupsContext.php
View file

@ -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

2
tests/phpunit/PopupsContextTest.php
View file

@ -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;

1
tests/phpunit/PopupsContextTestWrapper.php
View file

@ -19,6 +19,7 @@
* @ingroup extensions
*/
use MediaWiki\User\Options\UserOptionsLookup;
use Popups\PopupsContext;
use Popups\PopupsGadgetsIntegration;