From 0ee100a783c06fc5d608222eb00bd1eb358731cc Mon Sep 17 00:00:00 2001
From: Umherirrender <umherirrender_de.wp@web.de>
Date: Sat, 19 Oct 2024 23:29:00 +0200
Subject: [PATCH] Use namespaced classes

Changes to the use statements done automatically via script

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

diff --git a/includes/SpecialCiteThisPage.php b/includes/SpecialCiteThisPage.php
index 42d8f988..88780a41 100644
--- a/includes/SpecialCiteThisPage.php
+++ b/includes/SpecialCiteThisPage.php
@@ -5,11 +5,11 @@ namespace MediaWiki\Extension\CiteThisPage;
 use MediaWiki\Html\Html;
 use MediaWiki\HTMLForm\HTMLForm;
 use MediaWiki\Parser\Parser;
+use MediaWiki\Parser\ParserFactory;
+use MediaWiki\Parser\ParserOptions;
 use MediaWiki\Revision\RevisionLookup;
 use MediaWiki\SpecialPage\FormSpecialPage;
 use MediaWiki\Title\Title;
-use ParserFactory;
-use ParserOptions;
 use SearchEngineFactory;
 
 class SpecialCiteThisPage extends FormSpecialPage {