wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-28 01:30:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

Trivial docfix in DiscussionParser

Browse source 
Change-Id: I105b297333017dbce71cc42528a0e76f8be5da4b
This commit is contained in:
Matthew Flaschen 2017-05-20 13:09:06 +02:00
parent b3c7a20bb4
commit 6a38987198
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

@ -277,7 +277,7 @@ abstract class EchoDiscussionParser {
* Set of arrays containing valid mentions and possible intended but failed mentions.
* - [validMentions]: An array of valid users to mention with ID => ID.
* - [unknownUsers]: An array of DBKey strings representing unknown users.
* - [validMentions]: An array of DBKey strings representing anonymous IP users.
* - [anonymousUsers]: An array of DBKey strings representing anonymous IP users.
*/
private static function getUserMentions( Title $title, $revisionUserId, array $userLinks ) {
global $wgEchoMaxMentionsCount;