From 3dd1fd841a175596303af10394dd2ff49c743081 Mon Sep 17 00:00:00 2001
From: Umherirrender <umherirrender_de.wp@web.de>
Date: Sat, 26 Feb 2022 22:08:43 +0100
Subject: [PATCH] Use new namespace for
 MediaWiki\SpecialPage\SpecialPageFactory

MediaWiki\Special is alias since 1.35

Change-Id: Ifb8a64c5fe7e413178f94ecc89b7a960d04064b2
---
 includes/Menu/Definitions.php           | 2 +-
 includes/Menu/Main/MainMenuDirector.php | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/Menu/Definitions.php b/includes/Menu/Definitions.php
index e21d6ef49..f852e39ab 100644
--- a/includes/Menu/Definitions.php
+++ b/includes/Menu/Definitions.php
@@ -23,7 +23,7 @@ namespace MediaWiki\Minerva\Menu;
 use IContextSource;
 use MediaWiki\Minerva\Menu\Entries\AuthMenuEntry;
 use MediaWiki\Minerva\Menu\Entries\SingleMenuEntry;
-use MediaWiki\Special\SpecialPageFactory;
+use MediaWiki\SpecialPage\SpecialPageFactory;
 use MediaWiki\User\UserIdentity;
 use MediaWiki\User\UserOptionsLookup;
 use Message;
diff --git a/includes/Menu/Main/MainMenuDirector.php b/includes/Menu/Main/MainMenuDirector.php
index 7d16c3b77..4a258c13a 100644
--- a/includes/Menu/Main/MainMenuDirector.php
+++ b/includes/Menu/Main/MainMenuDirector.php
@@ -19,7 +19,7 @@
  */
 namespace MediaWiki\Minerva\Menu\Main;
 
-use MediaWiki\Special\SpecialPageFactory;
+use MediaWiki\SpecialPage\SpecialPageFactory;
 use MessageLocalizer;
 
 /**