diff options
Diffstat (limited to 'includes/media/GIFHandler.php')
| -rw-r--r-- | includes/media/GIFHandler.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/media/GIFHandler.php b/includes/media/GIFHandler.php index dc56414670e0..c5d2b3547739 100644 --- a/includes/media/GIFHandler.php +++ b/includes/media/GIFHandler.php @@ -22,6 +22,7 @@ */ use MediaWiki\Context\IContextSource; +use MediaWiki\FileRepo\File\File; use MediaWiki\MainConfigNames; use MediaWiki\MediaWikiServices; use Wikimedia\RequestTimeout\TimeoutException; |