wikimedia/mediawiki-extensions-Interwiki
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki synced 2024-09-23 10:19:41 +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: Id17b903f5656f588efa2dea0b190719e58e7b166
This commit is contained in:
Umherirrender 2024-06-09 11:45:34 +02:00
parent 8d0cb5720c
commit f18556dd83
2 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/InterwikiLogFormatter.php
View file

@ -3,7 +3,7 @@
namespace MediaWiki\Extension\Interwiki;
use LogFormatter;
use Message;
use MediaWiki\Message\Message;
/**
* Needed to pass the URL as a raw parameter, because it contains $1

5
includes/SpecialInterwiki.php
View file

@ -2,10 +2,11 @@
namespace MediaWiki\Extension\Interwiki;
use HTMLForm;
use LogPage;
use MediaWiki\Html\Html;
use MediaWiki\HTMLForm\HTMLForm;
use MediaWiki\MediaWikiServices;
use MediaWiki\Message\Message;
use MediaWiki\Output\OutputPage;
use MediaWiki\SpecialPage\SpecialPage;
use MediaWiki\Status\Status;
@ -34,7 +35,7 @@ class SpecialInterwiki extends SpecialPage {
* Different description will be shown on Special:SpecialPage depending on
* whether the user can modify the data.
*
* @return \Message
* @return Message
*/
public function getDescription() {
return $this->msg( $this->canModify() ? 'interwiki' : 'interwiki-title-norights' );