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

Replace some moved Title class uses, now MediaWiki\Title\Title

Browse source 
Bug: T321681
Change-Id: Ib0f9ab508739dd0633bcf0172434d24ae061a414
This commit is contained in:
gerritbot 2023-08-19 04:18:50 +00:00 committed by DannyS712
parent f7fc64716b
commit f17d634c2d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/RSSParser.php
View file

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