wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-09-23 10:29:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

Follow-up I80377881: Add missing Echo namespace

Browse source 
Change-Id: I3f94d8d91d78eba1eb16ac34b027cd2e9d66649d
This commit is contained in:
Ed Sanders 2024-05-28 18:28:38 +01:00
parent a86897f890
commit 6237d6068b
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/Notifications/SubscribedNewCommentPresentationModel.php
View file

@ -9,9 +9,9 @@
namespace MediaWiki\Extension\DiscussionTools\Notifications;
use EchoEventPresentationModel;
use Language;
use MediaWiki\Extension\DiscussionTools\SubscriptionStore;
use MediaWiki\Extension\Notifications\Formatters\EchoEventPresentationModel;
use MediaWiki\Extension\Notifications\Model\Event;
use MediaWiki\Language\RawMessage;
use MediaWiki\MediaWikiServices;