diff options
Diffstat (limited to 'includes/context/RequestContext.php')
| -rw-r--r-- | includes/context/RequestContext.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/context/RequestContext.php b/includes/context/RequestContext.php index 03dd1e7f5a75..6e5306ea9265 100644 --- a/includes/context/RequestContext.php +++ b/includes/context/RequestContext.php @@ -29,6 +29,7 @@ use MediaWiki\MediaWikiServices; use MediaWiki\Output\OutputPage; use MediaWiki\Permissions\Authority; use MediaWiki\Request\FauxRequest; +use MediaWiki\Request\WebRequest; use MediaWiki\Session\CsrfTokenSet; use MediaWiki\StubObject\StubGlobalUser; use MediaWiki\Title\Title; |