From 933231e808b696efd978b7003a87b61e303b136a Mon Sep 17 00:00:00 2001
From: gerritbot <ladsgroup+gerritbot@gmail.com>
Date: Wed, 29 Nov 2023 12:41:20 +0000
Subject: [PATCH] Update UserOptionsLookup's FQN

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: Ia3e82b9271fd7d5ecc27e58f3f955c427f83346a
---
 extension.json     | 2 +-
 includes/Hooks.php | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/extension.json b/extension.json
index b7de7df1..c61a73e6 100644
--- a/extension.json
+++ b/extension.json
@@ -13,7 +13,7 @@
 	"license-name": "GPL-2.0-or-later",
 	"type": "editor",
 	"requires": {
-		"MediaWiki": ">= 1.41"
+		"MediaWiki": ">= 1.42.0"
 	},
 	"MessagesDirs": {
 		"WikiEditor": [
diff --git a/includes/Hooks.php b/includes/Hooks.php
index f9d8f411..13e09aa7 100644
--- a/includes/Hooks.php
+++ b/includes/Hooks.php
@@ -32,9 +32,9 @@ use MediaWiki\Preferences\Hook\GetPreferencesHook;
 use MediaWiki\Request\WebRequest;
 use MediaWiki\ResourceLoader as RL;
 use MediaWiki\Status\Status;
+use MediaWiki\User\Options\UserOptionsLookup;
 use MediaWiki\User\User;
 use MediaWiki\User\UserEditTracker;
-use MediaWiki\User\UserOptionsLookup;
 use MediaWiki\WikiMap\WikiMap;
 use MessageLocalizer;
 use MWCryptRand;