wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-12 09:26:05 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Don't put a whole User object in extra[mentioned-users]"

Browse source
This commit is contained in:
jenkins-bot 2020-05-05 08:02:49 +00:00 committed by Gerrit Code Review
parent f355f05aff 41d53fde50
commit c1f8165d01
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/DiscussionParser.php
View file

@ -124,7 +124,7 @@ abstract class EchoDiscussionParser {
if ( $count >= $wgEchoMaxMentionsInEditSummary ) { if ( $count >= $wgEchoMaxMentionsInEditSummary ) {
break; break;
} }
$mentionedUsers[] = $summaryUser; $mentionedUsers[$summaryUser->getId()] = $summaryUser->getId();
$count++; $count++;
} }