wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-12-11 15:37:59 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use namespaced classes

Browse source 
Done automatically via script

Change-Id: I960cc93c19639202cdb63c5b0b00bfc468abb37e
This commit is contained in:
Umherirrender 2024-01-05 21:23:30 +01:00
parent 073d8c9ec0
commit a7c9a664b8
3 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/Hooks.php
View file

@ -3,10 +3,10 @@
namespace MediaWiki\Extension\RSS;
use MediaWiki\Hook\ParserFirstCallInitHook;
use MediaWiki\Status\Status;
use MWHttpRequest;
use Parser;
use PPFrame;
use Status;
class Hooks implements ParserFirstCallInitHook {

4
includes/RSSParser.php
View file

@ -4,13 +4,13 @@ namespace MediaWiki\Extension\RSS;
use DOMDocument;
use MediaWiki\MediaWikiServices;
use MediaWiki\Parser\Sanitizer;
use MediaWiki\Status\Status;
use MediaWiki\Title\Title;
use MWHttpRequest;
use Parser;
use ParserFactory;
use PPFrame;
use Sanitizer;
use Status;
use TextContent;
use WANObjectCache;
use Wikimedia\AtEase\AtEase;

2
includes/Utils.php
View file

@ -2,7 +2,7 @@
namespace MediaWiki\Extension\RSS;
use Html;
use MediaWiki\Html\Html;
class Utils {