diff options
| author | James D. Forrester <jforrester@wikimedia.org> | 2023-09-19 13:13:45 +0100 |
|---|---|---|
| committer | DannyS712 <dannys712.wiki@gmail.com> | 2023-09-19 19:18:16 +0000 |
| commit | 1d0b7ae1e26a6e925fa16ae712e291813085cb8a (patch) | |
| tree | dcf2ddbe86cb77988faa56e3f0896b853cc0f4ff /maintenance/rebuildImages.php | |
| parent | f971382d3d8eb4c222dfb823b286958fe5abc806 (diff) | |
| download | mediawikicore-1d0b7ae1e26a6e925fa16ae712e291813085cb8a.tar.gz mediawikicore-1d0b7ae1e26a6e925fa16ae712e291813085cb8a.zip | |
Namespace User under \MediaWiki\User
Bug: T166010
Change-Id: I7257302b485588af31384d4f7fc8e30551f161f1
Diffstat (limited to 'maintenance/rebuildImages.php')
| -rw-r--r-- | maintenance/rebuildImages.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/maintenance/rebuildImages.php b/maintenance/rebuildImages.php index bd80adeaed9c..f377ec5b1ba1 100644 --- a/maintenance/rebuildImages.php +++ b/maintenance/rebuildImages.php @@ -33,6 +33,7 @@ require_once __DIR__ . '/Maintenance.php'; use MediaWiki\Specials\SpecialUpload; +use MediaWiki\User\User; use Wikimedia\Rdbms\IMaintainableDatabase; /** |