diff options
| author | James D. Forrester <jforrester@wikimedia.org> | 2025-03-26 08:53:18 -0400 |
|---|---|---|
| committer | James D. Forrester <jforrester@wikimedia.org> | 2025-03-26 08:53:57 -0400 |
| commit | 43e574dbacce3a7300dd83fb1cf6c6e3ed3aca4b (patch) | |
| tree | c65f33e86147f4a8d45562f450db1025947cb404 /includes/media/GIFHandler.php | |
| parent | 822246901ce0ec108dd6c2129ab89a9567c4c2ff (diff) | |
| download | mediawikicore-43e574dbacce3a7300dd83fb1cf6c6e3ed3aca4b.tar.gz mediawikicore-43e574dbacce3a7300dd83fb1cf6c6e3ed3aca4b.zip | |
Replace a number of uses of class aliases with the real things
Found via disabling phan's alias support for a run (and ignoring wgLang's
hard-coded state of being a \Language, alas).
Change-Id: I4753bcd84d72d6de111fc7ffc5841fa417bf7333
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; |