diff options
Diffstat (limited to 'maintenance/dumpLinks.php')
| -rw-r--r-- | maintenance/dumpLinks.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/maintenance/dumpLinks.php b/maintenance/dumpLinks.php index 7f994a3f8b75..dc8c4d81fcfd 100644 --- a/maintenance/dumpLinks.php +++ b/maintenance/dumpLinks.php @@ -34,6 +34,7 @@ require_once __DIR__ . '/Maintenance.php'; // @codeCoverageIgnoreEnd +use MediaWiki\Maintenance\Maintenance; use MediaWiki\Title\Title; /** |