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 
Done automatically via script

Change-Id: I2a446ff3851411ad74f88514002c7b76102a7e78
This commit is contained in:
Umherirrender 2023-12-10 23:17:18 +01:00
parent e069a40ee9
commit d34b16c876
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
includes/Hooks.php
View file

@ -2,9 +2,9 @@
namespace MediaWiki\Extension\CiteThisPage; namespace MediaWiki\Extension\CiteThisPage;
use Config; use MediaWiki\Config\Config;
use MediaWiki\SpecialPage\SpecialPage;
use MediaWiki\Title\Title; use MediaWiki\Title\Title;
use SpecialPage;
class Hooks implements \MediaWiki\Hook\SidebarBeforeOutputHook { class Hooks implements \MediaWiki\Hook\SidebarBeforeOutputHook {
/** /**

4
includes/SpecialCiteThisPage.php
View file

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