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

Merge "Fix mistakes in inline @var comments"

Browse source
This commit is contained in:
jenkins-bot 2024-11-20 14:56:03 +00:00 committed by Gerrit Code Review
parent b6496ab427 eb65077dd8
commit 86d42c6ef9
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(),