diff options
Diffstat (limited to 'includes/installer/InstallerSessionProvider.php')
| -rw-r--r-- | includes/installer/InstallerSessionProvider.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/installer/InstallerSessionProvider.php b/includes/installer/InstallerSessionProvider.php index 7234767b3eb6..8cda18a62795 100644 --- a/includes/installer/InstallerSessionProvider.php +++ b/includes/installer/InstallerSessionProvider.php @@ -23,6 +23,7 @@ * @ingroup Installer */ +use MediaWiki\Request\WebRequest; use MediaWiki\Session\SessionBackend; use MediaWiki\Session\SessionInfo; use MediaWiki\Session\SessionProvider; |