wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-13 17:57:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use namespaced classes

Browse source 
This requires 1.42 for some new names

Done automatically via script

Change-Id: Idaad9e8d165a6bd202b96bbb657deb710cca4c54
This commit is contained in:
Umherirrender 2024-01-06 17:03:30 +01:00
parent 8efd27674b
commit 6c10926920
4 changed files with 11 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -10,7 +10,7 @@
"descriptionmsg": "linter-desc", "descriptionmsg": "linter-desc",
"type": "specialpage", "type": "specialpage",
"requires": { "requires": {
"MediaWiki": ">= 1.41" "MediaWiki": ">= 1.42"
}, },
"AutoloadNamespaces": { "AutoloadNamespaces": {
"MediaWiki\\Linter\\": "includes/" "MediaWiki\\Linter\\": "includes/"

6
includes/Hooks.php
View file

@ -24,21 +24,21 @@ use ApiQuerySiteinfo;
use Content; use Content;
use IContextSource; use IContextSource;
use MediaWiki\Api\Hook\APIQuerySiteInfoGeneralInfoHook; use MediaWiki\Api\Hook\APIQuerySiteInfoGeneralInfoHook;
use MediaWiki\Deferred\MWCallableUpdate;
use MediaWiki\Hook\BeforePageDisplayHook; use MediaWiki\Hook\BeforePageDisplayHook;
use MediaWiki\Hook\InfoActionHook; use MediaWiki\Hook\InfoActionHook;
use MediaWiki\Hook\ParserLogLinterDataHook; use MediaWiki\Hook\ParserLogLinterDataHook;
use MediaWiki\Linker\LinkRenderer; use MediaWiki\Linker\LinkRenderer;
use MediaWiki\Logger\LoggerFactory; use MediaWiki\Logger\LoggerFactory;
use MediaWiki\MediaWikiServices; use MediaWiki\MediaWikiServices;
use MediaWiki\Output\OutputPage;
use MediaWiki\Page\Hook\RevisionFromEditCompleteHook; use MediaWiki\Page\Hook\RevisionFromEditCompleteHook;
use MediaWiki\Page\Hook\WikiPageDeletionUpdatesHook; use MediaWiki\Page\Hook\WikiPageDeletionUpdatesHook;
use MediaWiki\Revision\RevisionRecord; use MediaWiki\Revision\RevisionRecord;
use MediaWiki\SpecialPage\SpecialPage;
use MediaWiki\Title\Title; use MediaWiki\Title\Title;
use MediaWiki\User\UserIdentity; use MediaWiki\User\UserIdentity;
use MWCallableUpdate;
use OutputPage;
use Skin; use Skin;
use SpecialPage;
use WikiPage; use WikiPage;
class Hooks implements class Hooks implements

6
includes/LintErrorsPager.php
View file

@ -20,15 +20,15 @@
namespace MediaWiki\Linter; namespace MediaWiki\Linter;
use Html;
use IContextSource; use IContextSource;
use InvalidArgumentException; use InvalidArgumentException;
use LinkCache; use LinkCache;
use MediaWiki\Html\Html;
use MediaWiki\Linker\LinkRenderer; use MediaWiki\Linker\LinkRenderer;
use MediaWiki\MediaWikiServices; use MediaWiki\MediaWikiServices;
use MediaWiki\Pager\TablePager;
use MediaWiki\Title\Title; use MediaWiki\Title\Title;
use TablePager; use MediaWiki\Title\TitleValue;
use TitleValue;
use Wikimedia\Rdbms\IExpression; use Wikimedia\Rdbms\IExpression;
use Wikimedia\Rdbms\LikeValue; use Wikimedia\Rdbms\LikeValue;
use Wikimedia\Rdbms\SelectQueryBuilder; use Wikimedia\Rdbms\SelectQueryBuilder;

8
includes/SpecialLintErrors.php
View file

@ -21,12 +21,12 @@
namespace MediaWiki\Linter; namespace MediaWiki\Linter;
use HTMLForm; use HTMLForm;
use MalformedTitleException;
use MediaWiki\Html\Html; use MediaWiki\Html\Html;
use MediaWiki\MediaWikiServices; use MediaWiki\MediaWikiServices;
use OutputPage; use MediaWiki\Output\OutputPage;
use SpecialPage; use MediaWiki\Request\WebRequest;
use WebRequest; use MediaWiki\SpecialPage\SpecialPage;
use MediaWiki\Title\MalformedTitleException;
class SpecialLintErrors extends SpecialPage { class SpecialLintErrors extends SpecialPage {