From b6c3eca38b1e0eeed9654cc77a86a70df2b6b1cd Mon Sep 17 00:00:00 2001
From: Fomafix <fomafix@googlemail.com>
Date: Tue, 3 Oct 2023 09:15:14 +0000
Subject: [PATCH] Use namespaced classes

Change-Id: I2d9f6a9a8b7e0812a0a758455219aef826a0ffa5
---
 includes/Hooks.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/includes/Hooks.php b/includes/Hooks.php
index c95da979..7652d47e 100644
--- a/includes/Hooks.php
+++ b/includes/Hooks.php
@@ -2,14 +2,14 @@
 
 namespace MediaWiki\Extension\CodeMirror;
 
-use Config;
+use MediaWiki\Config\Config;
 use MediaWiki\Hook\BeforePageDisplayHook;
+use MediaWiki\Output\OutputPage;
 use MediaWiki\Preferences\Hook\GetPreferencesHook;
 use MediaWiki\ResourceLoader\Hook\ResourceLoaderGetConfigVarsHook;
+use MediaWiki\User\User;
 use MediaWiki\User\UserOptionsLookup;
-use OutputPage;
 use Skin;
-use User;
 
 class Hooks implements
 	BeforePageDisplayHook,