diff --git a/extension.json b/extension.json index 83e73a60..4a170040 100644 --- a/extension.json +++ b/extension.json @@ -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" } diff --git a/includes/Hooks.php b/includes/Hooks.php index f3b1a5d0..74df3514 100644 --- a/includes/Hooks.php +++ b/includes/Hooks.php @@ -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