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: I323761f4e1fa51417743e3d0e38b1de2efa61f5a
This commit is contained in:
Umherirrender 2024-10-19 23:29:00 +02:00
parent 8049281d74
commit 0ee100a783
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

@ -5,11 +5,11 @@ namespace MediaWiki\Extension\CiteThisPage;
use MediaWiki\Html\Html; use MediaWiki\Html\Html;
use MediaWiki\HTMLForm\HTMLForm; use MediaWiki\HTMLForm\HTMLForm;
use MediaWiki\Parser\Parser; use MediaWiki\Parser\Parser;
use MediaWiki\Parser\ParserFactory;
use MediaWiki\Parser\ParserOptions;
use MediaWiki\Revision\RevisionLookup; use MediaWiki\Revision\RevisionLookup;
use MediaWiki\SpecialPage\FormSpecialPage; use MediaWiki\SpecialPage\FormSpecialPage;
use MediaWiki\Title\Title; use MediaWiki\Title\Title;
use ParserFactory;
use ParserOptions;
use SearchEngineFactory; use SearchEngineFactory;
class SpecialCiteThisPage extends FormSpecialPage { class SpecialCiteThisPage extends FormSpecialPage {