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 Parser class

Browse source 
Change-Id: Ie4e85e4a8cd967fe3293555d2de92e9e5a79d0c8
This commit is contained in:
Umherirrender 2024-06-10 20:17:47 +02:00
parent d40f2c6d03
commit 7b4ff5e4cb
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/Hooks.php
View file

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

2
includes/RSSParser.php
View file

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