From 393aace62191387737b18593ba7179a514435a0e Mon Sep 17 00:00:00 2001
From: Alexander Vorwerk <alexander.vorwerk@stud.uni-goettingen.de>
Date: Wed, 29 Sep 2021 22:28:47 +0200
Subject: [PATCH] Use namespaced CentralAuthSessionProvider

Change-Id: I56fbd065cbb4f1f0c882759e8a5d6d0ffb4dcec1
---
 includes/ForeignWikiRequest.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/includes/ForeignWikiRequest.php b/includes/ForeignWikiRequest.php
index c943b000e..536533616 100644
--- a/includes/ForeignWikiRequest.php
+++ b/includes/ForeignWikiRequest.php
@@ -1,5 +1,6 @@
 <?php
 
+use MediaWiki\Extension\CentralAuth\Session\CentralAuthSessionProvider;
 use MediaWiki\Logger\LoggerFactory;
 use MediaWiki\MediaWikiServices;
 use MediaWiki\Session\SessionManager;