diff options
Diffstat (limited to 'includes/exception/MWExceptionRenderer.php')
| -rw-r--r-- | includes/exception/MWExceptionRenderer.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/exception/MWExceptionRenderer.php b/includes/exception/MWExceptionRenderer.php index 962f1b34de0c..e4270c51d457 100644 --- a/includes/exception/MWExceptionRenderer.php +++ b/includes/exception/MWExceptionRenderer.php @@ -21,6 +21,7 @@ use MediaWiki\Html\Html; use MediaWiki\MainConfigNames; use MediaWiki\MediaWikiServices; +use MediaWiki\Request\WebRequest; use Wikimedia\AtEase; use Wikimedia\Rdbms\DBConnectionError; use Wikimedia\Rdbms\DBExpectedError; |