diff options
Diffstat (limited to 'includes/exception/MWException.php')
| -rw-r--r-- | includes/exception/MWException.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/exception/MWException.php b/includes/exception/MWException.php index 0dd29154ac1f..42e2af0d5933 100644 --- a/includes/exception/MWException.php +++ b/includes/exception/MWException.php @@ -19,6 +19,7 @@ */ use MediaWiki\Html\Html; +use MediaWiki\Request\WebRequest; /** * MediaWiki exception |