wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-11-23 15:16:46 +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: Ie29dd23fb3f796cc028a7478451d90db5746fb9e
This commit is contained in:
gerritbot 2023-08-19 04:13:59 +00:00 committed by Umherirrender
parent 6d3c051944
commit 86918ba14f
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,8 +3,8 @@
namespace MediaWiki\Extension\CiteThisPage;
use Config;
use MediaWiki\Title\Title;
use SpecialPage;
use Title;
class Hooks implements \MediaWiki\Hook\SidebarBeforeOutputHook {
/**

2
includes/SpecialCiteThisPage.php
View file

@ -6,11 +6,11 @@ use FormSpecialPage;
use Html;
use HTMLForm;
use MediaWiki\Revision\RevisionLookup;
use MediaWiki\Title\Title;
use Parser;
use ParserFactory;
use ParserOptions;
use SearchEngineFactory;
use Title;
class SpecialCiteThisPage extends FormSpecialPage {