diff options
| author | Amir Sarabadani <ladsgroup@gmail.com> | 2023-09-07 13:46:15 +0200 |
|---|---|---|
| committer | James D. Forrester <jforrester@wikimedia.org> | 2023-09-11 21:44:34 +0100 |
| commit | 5bd33d46efe9e7fd49194dcf4263ab1f23bf130c (patch) | |
| tree | 277d3f280663702b6a32e2d4e7e2ed00183fd926 /includes/session/SessionManager.php | |
| parent | 2f2802eb75266605df7b2e664be3c4efea9363f9 (diff) | |
| download | mediawikicore-5bd33d46efe9e7fd49194dcf4263ab1f23bf130c.tar.gz mediawikicore-5bd33d46efe9e7fd49194dcf4263ab1f23bf130c.zip | |
Reorg: Move WebRequest to includes\Request
This has been approved as part of RFC T166010
Bug: T321882
Change-Id: I6bbdbbe6ea48cc1f50bc568bb8780fc7c5361a6f
Diffstat (limited to 'includes/session/SessionManager.php')
| -rw-r--r-- | includes/session/SessionManager.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/session/SessionManager.php b/includes/session/SessionManager.php index fbd60ac3cf00..3a7a4e010b5e 100644 --- a/includes/session/SessionManager.php +++ b/includes/session/SessionManager.php @@ -32,12 +32,12 @@ use MediaWiki\HookContainer\HookRunner; use MediaWiki\MainConfigNames; use MediaWiki\MediaWikiServices; use MediaWiki\Request\FauxRequest; +use MediaWiki\Request\WebRequest; use MediaWiki\User\UserNameUtils; use MWException; use Psr\Log\LoggerInterface; use Psr\Log\LogLevel; use User; -use WebRequest; /** * This serves as the entry point to the MediaWiki session handling system. |