diff options
Diffstat (limited to 'maintenance/importDump.php')
| -rw-r--r-- | maintenance/importDump.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/maintenance/importDump.php b/maintenance/importDump.php index 9fceec0e648b..4f4bec208804 100644 --- a/maintenance/importDump.php +++ b/maintenance/importDump.php @@ -26,6 +26,7 @@ use MediaWiki\Linker\LinkTarget; use MediaWiki\Permissions\UltimateAuthority; +use MediaWiki\User\User; require_once __DIR__ . '/Maintenance.php'; |