diff options
Diffstat (limited to 'maintenance/deleteDefaultMessages.php')
| -rw-r--r-- | maintenance/deleteDefaultMessages.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/maintenance/deleteDefaultMessages.php b/maintenance/deleteDefaultMessages.php index 79bf9a99517b..e96bbe0c1d87 100644 --- a/maintenance/deleteDefaultMessages.php +++ b/maintenance/deleteDefaultMessages.php @@ -26,6 +26,7 @@ require_once __DIR__ . '/Maintenance.php'; // @codeCoverageIgnoreEnd +use MediaWiki\Maintenance\Maintenance; use MediaWiki\StubObject\StubGlobalUser; use MediaWiki\Title\Title; use MediaWiki\User\ActorMigration; |