diff options
Diffstat (limited to 'includes/context/ContextSource.php')
| -rw-r--r-- | includes/context/ContextSource.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/context/ContextSource.php b/includes/context/ContextSource.php index d69768ab7c17..22bbb1d41645 100644 --- a/includes/context/ContextSource.php +++ b/includes/context/ContextSource.php @@ -20,6 +20,7 @@ use MediaWiki\Output\OutputPage; use MediaWiki\Permissions\Authority; +use MediaWiki\Request\WebRequest; use MediaWiki\Session\CsrfTokenSet; use MediaWiki\Title\Title; use Wikimedia\NonSerializable\NonSerializableTrait; |