From 31292c688ef972cd4a826e064fa229c3ec577433 Mon Sep 17 00:00:00 2001
From: addshore <addshorewiki@gmail.com>
Date: Mon, 11 Apr 2016 13:34:20 +0100
Subject: [PATCH] Add missing use MWException to SessionManager

Change-Id: I098e719cd888400191438bb0c4deeaaff1aa32dd
---
 includes/session/SessionManager.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/includes/session/SessionManager.php b/includes/session/SessionManager.php
index fc73335244..c65fa2117a 100644
--- 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;
-- 
2.20.1