wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-11-23 15:16:46 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use namespaced classes

Browse source 
Changes to the use statements done automatically via script

Change-Id: I26b401810cef736f467d7dd6deca6a198afeec34
This commit is contained in:
Umherirrender 2024-06-08 22:44:14 +02:00
parent d8d4c10895
commit da5557f2b1
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
includes/SpecialCiteThisPage.php
View file

@ -2,12 +2,12 @@
namespace MediaWiki\Extension\CiteThisPage;
use HTMLForm;
use MediaWiki\Html\Html;
use MediaWiki\HTMLForm\HTMLForm;
use MediaWiki\Parser\Parser;
use MediaWiki\Revision\RevisionLookup;
use MediaWiki\SpecialPage\FormSpecialPage;
use MediaWiki\Title\Title;
use Parser;
use ParserFactory;
use ParserOptions;
use SearchEngineFactory;