wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-23 22:54:02 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use namespaced Parser class

Browse source 
Change-Id: Ie998256c8a3297cfc04c778423ee6fb5786c0c21
This commit is contained in:
Umherirrender 2024-06-09 11:44:04 +02:00
parent 714c750fcd
commit 1a09bf204c
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/InputBox.php
View file

@ -12,9 +12,9 @@ use ExtensionRegistry;
use MediaWiki\Config\Config;
use MediaWiki\Html\Html;
use MediaWiki\MainConfigNames;
use MediaWiki\Parser\Parser;
use MediaWiki\Parser\Sanitizer;
use MediaWiki\SpecialPage\SpecialPage;
use Parser;
/**
* InputBox class

2
includes/InputBoxHooks.php
View file

@ -14,12 +14,12 @@ use MediaWiki\Config\Config;
use MediaWiki\Hook\MediaWikiPerformActionHook;
use MediaWiki\Hook\ParserFirstCallInitHook;
use MediaWiki\Output\OutputPage;
use MediaWiki\Parser\Parser;
use MediaWiki\Request\WebRequest;
use MediaWiki\SpecialPage\Hook\SpecialPageBeforeExecuteHook;
use MediaWiki\SpecialPage\SpecialPage;
use MediaWiki\Title\Title;
use MediaWiki\User\User;
use Parser;
/**
* InputBox hooks