mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree
synced 2024-11-30 11:06:55 +00:00
Use namespaced PHP classes
These namespaces are available since MediaWiki 1.42 which is already required in extension.json. Change-Id: If72d77a5440516beeac637b4baf06e9b4c672e8a
This commit is contained in:
parent
e5ac4d6907
commit
e6c9eab90f
|
@ -25,17 +25,17 @@
|
||||||
namespace MediaWiki\Extension\CategoryTree;
|
namespace MediaWiki\Extension\CategoryTree;
|
||||||
|
|
||||||
use ExtensionRegistry;
|
use ExtensionRegistry;
|
||||||
use IContextSource;
|
|
||||||
use MediaWiki\Category\Category;
|
use MediaWiki\Category\Category;
|
||||||
use MediaWiki\Config\Config;
|
use MediaWiki\Config\Config;
|
||||||
|
use MediaWiki\Context\IContextSource;
|
||||||
|
use MediaWiki\Context\RequestContext;
|
||||||
use MediaWiki\Html\Html;
|
use MediaWiki\Html\Html;
|
||||||
use MediaWiki\Linker\LinkRenderer;
|
use MediaWiki\Linker\LinkRenderer;
|
||||||
use MediaWiki\MediaWikiServices;
|
use MediaWiki\MediaWikiServices;
|
||||||
use MediaWiki\Output\OutputPage;
|
use MediaWiki\Output\OutputPage;
|
||||||
|
use MediaWiki\Parser\Parser;
|
||||||
use MediaWiki\SpecialPage\SpecialPage;
|
use MediaWiki\SpecialPage\SpecialPage;
|
||||||
use MediaWiki\Title\Title;
|
use MediaWiki\Title\Title;
|
||||||
use Parser;
|
|
||||||
use RequestContext;
|
|
||||||
use Wikimedia\Rdbms\IConnectionProvider;
|
use Wikimedia\Rdbms\IConnectionProvider;
|
||||||
|
|
||||||
/**
|
/**
|
||||||
|
|
|
@ -24,8 +24,8 @@
|
||||||
|
|
||||||
namespace MediaWiki\Extension\CategoryTree;
|
namespace MediaWiki\Extension\CategoryTree;
|
||||||
|
|
||||||
use HTMLForm;
|
|
||||||
use MediaWiki\Html\Html;
|
use MediaWiki\Html\Html;
|
||||||
|
use MediaWiki\HTMLForm\HTMLForm;
|
||||||
use MediaWiki\SpecialPage\SpecialPage;
|
use MediaWiki\SpecialPage\SpecialPage;
|
||||||
use MediaWiki\Title\Title;
|
use MediaWiki\Title\Title;
|
||||||
use SearchEngineFactory;
|
use SearchEngineFactory;
|
||||||
|
|
|
@ -25,6 +25,7 @@
|
||||||
namespace MediaWiki\Extension\CategoryTree;
|
namespace MediaWiki\Extension\CategoryTree;
|
||||||
|
|
||||||
use MediaWiki\Config\Config;
|
use MediaWiki\Config\Config;
|
||||||
|
use MediaWiki\Context\RequestContext;
|
||||||
use MediaWiki\Hook\CategoryViewer__doCategoryQueryHook;
|
use MediaWiki\Hook\CategoryViewer__doCategoryQueryHook;
|
||||||
use MediaWiki\Hook\CategoryViewer__generateLinkHook;
|
use MediaWiki\Hook\CategoryViewer__generateLinkHook;
|
||||||
use MediaWiki\Hook\OutputPageMakeCategoryLinksHook;
|
use MediaWiki\Hook\OutputPageMakeCategoryLinksHook;
|
||||||
|
@ -36,13 +37,12 @@ use MediaWiki\Html\Html;
|
||||||
use MediaWiki\Linker\LinkRenderer;
|
use MediaWiki\Linker\LinkRenderer;
|
||||||
use MediaWiki\Linker\LinkTarget;
|
use MediaWiki\Linker\LinkTarget;
|
||||||
use MediaWiki\Output\OutputPage;
|
use MediaWiki\Output\OutputPage;
|
||||||
|
use MediaWiki\Parser\Parser;
|
||||||
use MediaWiki\Parser\Sanitizer;
|
use MediaWiki\Parser\Sanitizer;
|
||||||
use MediaWiki\ResourceLoader as RL;
|
use MediaWiki\ResourceLoader as RL;
|
||||||
use MediaWiki\SpecialPage\SpecialPage;
|
use MediaWiki\SpecialPage\SpecialPage;
|
||||||
use MediaWiki\Title\Title;
|
use MediaWiki\Title\Title;
|
||||||
use Parser;
|
|
||||||
use PPFrame;
|
use PPFrame;
|
||||||
use RequestContext;
|
|
||||||
use Skin;
|
use Skin;
|
||||||
use Wikimedia\Rdbms\IConnectionProvider;
|
use Wikimedia\Rdbms\IConnectionProvider;
|
||||||
use Wikimedia\Rdbms\IResultWrapper;
|
use Wikimedia\Rdbms\IResultWrapper;
|
||||||
|
|
Loading…
Reference in a new issue