wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-11-23 15:26:49 +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: Ie45f3705f5f2f9992ff93a77a3f0a7cbb8a8d3cd
This commit is contained in:
Umherirrender 2024-10-20 11:32:26 +02:00
parent f0194c9e47
commit 5404ab51f8
2 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/Hooks.php
View file

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

8
includes/RSSParser.php
View file

@ -3,17 +3,17 @@
namespace MediaWiki\Extension\RSS;
use DOMDocument;
use MediaWiki\Content\TextContent;
use MediaWiki\MediaWikiServices;
use MediaWiki\Parser\Parser;
use MediaWiki\Parser\ParserFactory;
use MediaWiki\Parser\PPFrame;
use MediaWiki\Parser\Sanitizer;
use MediaWiki\Status\Status;
use MediaWiki\Title\Title;
use MWHttpRequest;
use ParserFactory;
use PPFrame;
use TextContent;
use WANObjectCache;
use Wikimedia\AtEase\AtEase;
use Wikimedia\ObjectCache\WANObjectCache;
class RSSParser {
/** @var int */