wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-23 14:56:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update UserOptionsLookup'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: I2af14da0c4f2d13e94b0301ae5d4d2589e05f0b7
This commit is contained in:
gerritbot 2023-11-29 12:38:27 +00:00
parent 9111107de8
commit dafb05f12d
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -10,7 +10,7 @@
"license-name": "GPL-2.0-or-later AND BSD-3-Clause",
"type": "editor",
"requires": {
"MediaWiki": ">= 1.41",
"MediaWiki": ">= 1.42.0",
"extensions": {
"WikiEditor": ">= 0.5.2"
}

2
includes/Hooks.php
View file

@ -12,8 +12,8 @@ use MediaWiki\HookContainer\HookContainer;
use MediaWiki\Output\OutputPage;
use MediaWiki\Preferences\Hook\GetPreferencesHook;
use MediaWiki\Title\Title;
use MediaWiki\User\Options\UserOptionsLookup;
use MediaWiki\User\User;
use MediaWiki\User\UserOptionsLookup;
/**
* @phpcs:disable MediaWiki.NamingConventions.LowerCamelFunctionsName.FunctionName