From 38051ed25e8f9b296c5d610894b95e62ac39806d Mon Sep 17 00:00:00 2001 From: Fomafix Date: Thu, 3 Oct 2024 20:01:46 +0000 Subject: [PATCH] Update namespaces of PHP classes Change-Id: I0bd63285afd4967c09ab046b012f8c4e62db2f2c --- includes/Hooks.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/Hooks.php b/includes/Hooks.php index ea8fe444..4ec1a6a0 100644 --- a/includes/Hooks.php +++ b/includes/Hooks.php @@ -3,7 +3,6 @@ namespace MediaWiki\Extension\CodeEditor; use ErrorPageError; -use ExtensionRegistry; use MediaWiki\EditPage\EditPage; use MediaWiki\Extension\CodeEditor\Hooks\HookRunner; use MediaWiki\Hook\EditPage__showEditForm_initialHook; @@ -11,6 +10,7 @@ use MediaWiki\Hook\EditPage__showReadOnlyForm_initialHook; use MediaWiki\HookContainer\HookContainer; use MediaWiki\Output\OutputPage; use MediaWiki\Preferences\Hook\GetPreferencesHook; +use MediaWiki\Registration\ExtensionRegistry; use MediaWiki\Title\Title; use MediaWiki\User\Options\UserOptionsLookup; use MediaWiki\User\User;