Add missing use MWException to SessionManager

Change-Id: I098e719cd888400191438bb0c4deeaaff1aa32dd

diff --git a/includes/session/SessionManager.php b/includes/session/SessionManager.php
index fc73335..c65fa21 100644 (file)
--- a/includes/session/SessionManager.php
+++ b/includes/session/SessionManager.php
@@ -23,6 +23,7 @@
 
 namespace MediaWiki\Session;
 
+use MWException;
 use Psr\Log\LoggerInterface;
 use BagOStuff;
 use CachedBagOStuff;