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

Update UserOptionsManager's FQN

Browse source 
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: Icb39d3f73e120fd0d9dad5ae362787cd19d47bfb
This commit is contained in:
gerritbot 2023-11-29 12:45:16 +00:00 committed by Urbanecm
parent 65d5156e75
commit 96cea43fe1
3 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

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

2
includes/PopupsHooks.php
View file

@ -31,7 +31,7 @@ use MediaWiki\ResourceLoader\Hook\ResourceLoaderGetConfigVarsHook;
use MediaWiki\ResourceLoader\Hook\ResourceLoaderRegisterModulesHook;
use MediaWiki\ResourceLoader\ResourceLoader;
use MediaWiki\User\Hook\UserGetDefaultOptionsHook;
use MediaWiki\User\UserOptionsManager;
use MediaWiki\User\Options\UserOptionsManager;
use OutputPage;
use Skin;
use User;

2
tests/phpunit/PopupsHooksTest.php
View file

@ -19,7 +19,7 @@
* @ingroup extensions
*/
use MediaWiki\User\UserOptionsManager;
use MediaWiki\User\Options\UserOptionsManager;
use Popups\PopupsContext;
use Popups\PopupsHooks;
use Psr\Log\LoggerInterface;