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

Fix loggroup name in NotificationController::getUsersToNotifyForEvent

Browse source 
Using {closure} seems not helpful

Change-Id: I67ee2d6e48226cc079cb290ca7dd63407eb85883
This commit is contained in:
Umherirrender 2018-09-30 14:22:35 +02:00
parent 52aa30c077
commit d6e85e1300
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
includes/controller/NotificationController.php
View file

@ -404,9 +404,10 @@ class EchoNotificationController {
// Filter non-User, anon and duplicate users
$seen = [];
$notify->addFilter( function ( $user ) use ( &$seen ) {
$fname = __METHOD__;
$notify->addFilter( function ( $user ) use ( &$seen, $fname ) {
if ( !$user instanceof User ) {
wfDebugLog( __METHOD__, 'Expected all User instances, received:' .
wfDebugLog( $fname, 'Expected all User instances, received:' .
( is_object( $user ) ? get_class( $user ) : gettype( $user ) )
);