maintenance: Use more of namespaced Maintenance class

Change-Id: I53f2e32c73c92cc3a0deee48ebe6d13329a7a0cf

16 files changed, 16 insertions, 1 deletions

diff --git a/maintenance/Version.php b/maintenance/Version.php
index dbd8c3c78d18..7b0c43cc72b3 100644
--- a/maintenance/Version.php
+++ b/maintenance/Version.php
@@ -25,7 +25,6 @@
 
 namespace MediaWiki\Maintenance;
 
-use Maintenance;
 use MediaWiki\Utils\GitInfo;
 
 // @codeCoverageIgnoreStart
diff --git a/maintenance/addChangeTag.php b/maintenance/addChangeTag.php
index 8cd3382ed278..e246156de41d 100644
--- a/maintenance/addChangeTag.php
+++ b/maintenance/addChangeTag.php
@@ -22,6 +22,7 @@
  * @ingroup Maintenance
  */
 
+use MediaWiki\Maintenance\Maintenance;
 use MediaWiki\Permissions\UltimateAuthority;
 use MediaWiki\User\User;
 
diff --git a/maintenance/addSite.php b/maintenance/addSite.php
index 301c73a9f46a..0e644774fab1 100644
--- a/maintenance/addSite.php
+++ b/maintenance/addSite.php
@@ -4,6 +4,7 @@
 require_once __DIR__ . '/Maintenance.php';
 // @codeCoverageIgnoreEnd
 
+use MediaWiki\Maintenance\Maintenance;
 use MediaWiki\Site\MediaWikiSite;
 
 /**
diff --git a/maintenance/attachLatest.php b/maintenance/attachLatest.php
index 49c1325b4c96..b2eb8e681c3a 100644
--- a/maintenance/attachLatest.php
+++ b/maintenance/attachLatest.php
@@ -24,6 +24,7 @@
  * @ingroup Maintenance
  */
 
+use MediaWiki\Maintenance\Maintenance;
 use MediaWiki\Title\Title;
 use Wikimedia\Rdbms\IDBAccessObject;
 
diff --git a/maintenance/benchmarks/benchmarkParse.php b/maintenance/benchmarks/benchmarkParse.php
index 15a0199207d7..6e2b106eaeb5 100644
--- a/maintenance/benchmarks/benchmarkParse.php
+++ b/maintenance/benchmarks/benchmarkParse.php
@@ -28,6 +28,7 @@ require_once __DIR__ . '/../Maintenance.php';
 
 use MediaWiki\Cache\LinkCache;
 use MediaWiki\Linker\LinkTarget;
+use MediaWiki\Maintenance\Maintenance;
 use MediaWiki\Revision\RevisionRecord;
 use MediaWiki\Revision\SlotRecord;
 use MediaWiki\Title\Title;
diff --git a/maintenance/blockUsers.php b/maintenance/blockUsers.php
index 639b0cbaf141..2ac8e3b30f33 100644
--- a/maintenance/blockUsers.php
+++ b/maintenance/blockUsers.php
@@ -24,6 +24,7 @@
 require_once __DIR__ . '/Maintenance.php';
 // @codeCoverageIgnoreEnd
 
+use MediaWiki\Maintenance\Maintenance;
 use MediaWiki\User\User;
 
 class BlockUsers extends Maintenance {
diff --git a/maintenance/changePassword.php b/maintenance/changePassword.php
index ddf37edc0c74..0e8ff4ee9382 100644
--- a/maintenance/changePassword.php
+++ b/maintenance/changePassword.php
@@ -28,6 +28,8 @@
 require_once __DIR__ . '/Maintenance.php';
 // @codeCoverageIgnoreEnd
 
+use MediaWiki\Maintenance\Maintenance;
+
 /**
  * Maintenance script to change the password of a given user.
  *
diff --git a/maintenance/checkBadRedirects.php b/maintenance/checkBadRedirects.php
index ccb75c12a323..bb4479afbb74 100644
--- a/maintenance/checkBadRedirects.php
+++ b/maintenance/checkBadRedirects.php
@@ -21,6 +21,7 @@
  * @ingroup Maintenance
  */
 
+use MediaWiki\Maintenance\Maintenance;
 use MediaWiki\Revision\SlotRecord;
 use MediaWiki\Title\Title;
 
diff --git a/maintenance/checkComposerLockUpToDate.php b/maintenance/checkComposerLockUpToDate.php
index 5d1fbc3dd270..6f640b05f76b 100644
--- a/maintenance/checkComposerLockUpToDate.php
+++ b/maintenance/checkComposerLockUpToDate.php
@@ -5,6 +5,7 @@ require_once __DIR__ . '/Maintenance.php';
 // @codeCoverageIgnoreEnd
 
 use MediaWiki\Composer\LockFileChecker;
+use MediaWiki\Maintenance\Maintenance;
 use Wikimedia\Composer\ComposerJson;
 use Wikimedia\Composer\ComposerLock;
 
diff --git a/maintenance/checkImages.php b/maintenance/checkImages.php
index a9b48bc3c24e..169b0f929aa0 100644
--- a/maintenance/checkImages.php
+++ b/maintenance/checkImages.php
@@ -22,6 +22,7 @@
  */
 
 use MediaWiki\FileRepo\File\FileSelectQueryBuilder;
+use MediaWiki\Maintenance\Maintenance;
 
 // @codeCoverageIgnoreStart
 require_once __DIR__ . '/Maintenance.php';
diff --git a/maintenance/mediawiki.Title/generatePhpCharToUpperMappings.php b/maintenance/mediawiki.Title/generatePhpCharToUpperMappings.php
index e276b13830ab..d16f15d8e07f 100644
--- a/maintenance/mediawiki.Title/generatePhpCharToUpperMappings.php
+++ b/maintenance/mediawiki.Title/generatePhpCharToUpperMappings.php
@@ -22,6 +22,7 @@
  * @ingroup Maintenance
  */
 
+use MediaWiki\Maintenance\Maintenance;
 use MediaWiki\Shell\Shell;
 
 // @codeCoverageIgnoreStart
diff --git a/maintenance/refreshLinks.php b/maintenance/refreshLinks.php
index 3e35fe7d0d70..8697848009b9 100644
--- a/maintenance/refreshLinks.php
+++ b/maintenance/refreshLinks.php
@@ -20,6 +20,7 @@
 
 use MediaWiki\Deferred\DeferredUpdates;
 use MediaWiki\Linker\LinkTarget;
+use MediaWiki\Maintenance\Maintenance;
 use MediaWiki\MediaWikiServices;
 use MediaWiki\Revision\RevisionRecord;
 use MediaWiki\Title\Title;
diff --git a/maintenance/uppercaseTitlesForUnicodeTransition.php b/maintenance/uppercaseTitlesForUnicodeTransition.php
index 973e9a59d653..eec9c68282d0 100644
--- a/maintenance/uppercaseTitlesForUnicodeTransition.php
+++ b/maintenance/uppercaseTitlesForUnicodeTransition.php
@@ -22,6 +22,7 @@
  * @ingroup Maintenance
  */
 
+use MediaWiki\Maintenance\Maintenance;
 use MediaWiki\Title\Title;
 use MediaWiki\User\User;
 use MediaWiki\WikiMap\WikiMap;
diff --git a/maintenance/view.php b/maintenance/view.php
index 1b1903dbe383..4653991b73d5 100644
--- a/maintenance/view.php
+++ b/maintenance/view.php
@@ -22,6 +22,7 @@
  */
 
 use MediaWiki\Content\TextContent;
+use MediaWiki\Maintenance\Maintenance;
 use MediaWiki\Revision\RevisionRecord;
 use MediaWiki\Title\Title;
 
diff --git a/maintenance/wikiBirthday.php b/maintenance/wikiBirthday.php
index bf36ef92bf27..7726e7da56fa 100644
--- a/maintenance/wikiBirthday.php
+++ b/maintenance/wikiBirthday.php
@@ -24,6 +24,7 @@
  * @since 1.39
  */
 
+use MediaWiki\Maintenance\Maintenance;
 use MediaWiki\Utils\MWTimestamp;
 
 // @codeCoverageIgnoreStart
diff --git a/maintenance/wrapOldPasswords.php b/maintenance/wrapOldPasswords.php
index 3ee3fb3559f4..25725e134da5 100644
--- a/maintenance/wrapOldPasswords.php
+++ b/maintenance/wrapOldPasswords.php
@@ -21,6 +21,7 @@
  * @ingroup Maintenance
  */
 
+use MediaWiki\Maintenance\Maintenance;
 use MediaWiki\Password\LayeredParameterizedPassword;
 use MediaWiki\Password\ParameterizedPassword;
 use MediaWiki\User\User;