diff options
Diffstat (limited to 'includes/user/BotPassword.php')
| -rw-r--r-- | includes/user/BotPassword.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/user/BotPassword.php b/includes/user/BotPassword.php index 3baa6b913d44..1e4bdff26816 100644 --- a/includes/user/BotPassword.php +++ b/includes/user/BotPassword.php @@ -23,6 +23,7 @@ use MediaWiki\Auth\Throttler; use MediaWiki\HookContainer\HookRunner; use MediaWiki\MainConfigNames; use MediaWiki\MediaWikiServices; +use MediaWiki\Request\WebRequest; use MediaWiki\Session\BotPasswordSessionProvider; use MediaWiki\Session\SessionManager; use MediaWiki\Status\Status; |