From 033b9cc1592786ab4eae1a2320624bebaadbd581 Mon Sep 17 00:00:00 2001
From: Fomafix <fomafix@googlemail.com>
Date: Thu, 22 Aug 2024 12:53:23 +0000
Subject: [PATCH] Use namespaced FormatJson class

This change requires MediaWiki 1.43+.

Change-Id: I5a9a0eb10372b6464985e5a9cd564ff12536fea1
---
 extension.json               | 2 +-
 includes/ApiCategoryTree.php | 2 +-
 includes/OptionManager.php   | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/extension.json b/extension.json
index ab03d718..597934bc 100644
--- a/extension.json
+++ b/extension.json
@@ -6,7 +6,7 @@
 	"license-name": "GPL-2.0-or-later",
 	"type": "parserhook",
 	"requires": {
-		"MediaWiki": ">= 1.42"
+		"MediaWiki": ">= 1.43"
 	},
 	"SpecialPages": {
 		"CategoryTree": {
diff --git a/includes/ApiCategoryTree.php b/includes/ApiCategoryTree.php
index 04446d5f..8b794e28 100644
--- a/includes/ApiCategoryTree.php
+++ b/includes/ApiCategoryTree.php
@@ -4,7 +4,7 @@ namespace MediaWiki\Extension\CategoryTree;
 
 use ApiBase;
 use ApiMain;
-use FormatJson;
+use MediaWiki\Json\FormatJson;
 use MediaWiki\Languages\LanguageConverterFactory;
 use MediaWiki\Linker\LinkRenderer;
 use MediaWiki\MainConfigNames;
diff --git a/includes/OptionManager.php b/includes/OptionManager.php
index 1bea88db..7416e23c 100644
--- a/includes/OptionManager.php
+++ b/includes/OptionManager.php
@@ -24,9 +24,9 @@
 
 namespace MediaWiki\Extension\CategoryTree;
 
-use FormatJson;
 use InvalidArgumentException;
 use MediaWiki\Config\Config;
+use MediaWiki\Json\FormatJson;
 use MediaWiki\MediaWikiServices;
 
 /**