wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-23 18:30:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Clarify mention error log comment"

Browse source
This commit is contained in:
jenkins-bot 2016-06-20 16:14:54 +00:00 committed by Gerrit Code Review
parent 6d12122f9f 3e9b2055b2
commit 6b20e63b73
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

@ -171,7 +171,7 @@ abstract class EchoDiscussionParser {
$stats->increment( 'echo.event.mention.error.ownPage' );
continue;
}
// 4. user is anonymous
// 4. user is anonymous or does not exist
if ( $user->isAnon() ) {
$stats->increment( 'echo.event.mention.error.anonUser' );
continue;