diff options
Diffstat (limited to 'includes/jobqueue/Job.php')
| -rw-r--r-- | includes/jobqueue/Job.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/jobqueue/Job.php b/includes/jobqueue/Job.php index 679814c83b23..eec212c5fd5c 100644 --- a/includes/jobqueue/Job.php +++ b/includes/jobqueue/Job.php @@ -23,6 +23,7 @@ use MediaWiki\MediaWikiServices; use MediaWiki\Page\PageReference; +use MediaWiki\Request\WebRequest; use MediaWiki\Title\Title; /** |