From da5557f2b10e631a81fe1f41f873d5b35424617c Mon Sep 17 00:00:00 2001
From: Umherirrender <umherirrender_de.wp@web.de>
Date: Sat, 8 Jun 2024 22:44:14 +0200
Subject: [PATCH] Use namespaced classes

Changes to the use statements done automatically via script

Change-Id: I26b401810cef736f467d7dd6deca6a198afeec34
---
 includes/SpecialCiteThisPage.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/SpecialCiteThisPage.php b/includes/SpecialCiteThisPage.php
index d9844422..42d8f988 100644
--- a/includes/SpecialCiteThisPage.php
+++ b/includes/SpecialCiteThisPage.php
@@ -2,12 +2,12 @@
 
 namespace MediaWiki\Extension\CiteThisPage;
 
-use HTMLForm;
 use MediaWiki\Html\Html;
+use MediaWiki\HTMLForm\HTMLForm;
+use MediaWiki\Parser\Parser;
 use MediaWiki\Revision\RevisionLookup;
 use MediaWiki\SpecialPage\FormSpecialPage;
 use MediaWiki\Title\Title;
-use Parser;
 use ParserFactory;
 use ParserOptions;
 use SearchEngineFactory;