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

Fix mistakes in inline @var comments

Browse source 
Change-Id: Idca575d4a6dd69b30f3ccb6b4dccadb38721780d
This commit is contained in:
thiemowmde 2024-11-20 08:11:59 +01:00
parent 7acd730719
commit eb65077dd8
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/Notifications/EventDispatcher.php
View file

@ -354,7 +354,7 @@ class EventDispatcher {
$dtConfig->get( 'DiscussionToolsAutoTopicSubEditor' ) === 'any' &&
HookUtils::shouldAddAutoSubscription( $user, $title )
) {
/** @var SubscriptionStore $parser */
/** @var SubscriptionStore $subscriptionStore */
$subscriptionStore = MediaWikiServices::getInstance()->getService( 'DiscussionTools.SubscriptionStore' );
$subscriptionStore->addAutoSubscriptionForUser( $user, $title, $itemName );
}

2
includes/Notifications/SubscribedNewCommentPresentationModel.php
View file

@ -142,7 +142,7 @@ class SubscribedNewCommentPresentationModel extends EchoEventPresentationModel {
$viewChangesLink,
];
/** @var SubscriptionStore $parser */
/** @var SubscriptionStore $subscriptionStore */
$subscriptionStore = MediaWikiServices::getInstance()->getService( 'DiscussionTools.SubscriptionStore' );
$items = $subscriptionStore->getSubscriptionItemsForUser(
$this->getUser(),