wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-30 11:06:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use namespaced FormatJson class

Browse source 
This change requires MediaWiki 1.43+.

Change-Id: I5a9a0eb10372b6464985e5a9cd564ff12536fea1
This commit is contained in:
Fomafix 2024-08-22 12:53:23 +00:00
parent ab8c7c15cb
commit 033b9cc159
3 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -6,7 +6,7 @@
"license-name": "GPL-2.0-or-later",
"type": "parserhook",
"requires": {
"MediaWiki": ">= 1.42"
"MediaWiki": ">= 1.43"
},
"SpecialPages": {
"CategoryTree": {

2
includes/ApiCategoryTree.php
View file

@ -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;

2
includes/OptionManager.php
View file

@ -24,9 +24,9 @@
namespace MediaWiki\Extension\CategoryTree;
use FormatJson;
use InvalidArgumentException;
use MediaWiki\Config\Config;
use MediaWiki\Json\FormatJson;
use MediaWiki\MediaWikiServices;
/**