From bcc51d78590348716c5570345c5ab1aed0e9ade1 Mon Sep 17 00:00:00 2001
From: Umherirrender <umherirrender_de.wp@web.de>
Date: Sun, 20 Oct 2024 11:32:06 +0200
Subject: [PATCH] Use namespaced Maintenance class

Change-Id: I6b5f6137febc524ac77aa8939267470f2da7faa2
---
 maintenance/replaceAll.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/maintenance/replaceAll.php b/maintenance/replaceAll.php
index 62925387..2b8d2658 100644
--- a/maintenance/replaceAll.php
+++ b/maintenance/replaceAll.php
@@ -29,7 +29,7 @@
  */
 namespace MediaWiki\Extension\ReplaceText;
 
-use Maintenance;
+use MediaWiki\Maintenance\Maintenance;
 use MediaWiki\User\User;
 use MWException;