EBernhardson has uploaded a new change for review. https://gerrit.wikimedia.org/r/97042
Change subject: Avoid fatal error when mentioning invalid user ...................................................................... Avoid fatal error when mentioning invalid user Change-Id: I0447ca85ce152fa6ffab71069d25d781d919ce0e --- M includes/Notifications/Controller.php 1 file changed, 4 insertions(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Flow refs/changes/42/97042/1 diff --git a/includes/Notifications/Controller.php b/includes/Notifications/Controller.php index 36817da..ab274a4 100644 --- a/includes/Notifications/Controller.php +++ b/includes/Notifications/Controller.php @@ -292,7 +292,10 @@ $users = array(); foreach ( $links[NS_USER] as $dbk => $page_id ) { - $users[] = User::newFromName( $dbk ); + $user = User::newFromName( $dbk ); + if ( $user ) { + $users[] = $users; + } } return $users; -- To view, visit https://gerrit.wikimedia.org/r/97042 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I0447ca85ce152fa6ffab71069d25d781d919ce0e Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Flow Gerrit-Branch: master Gerrit-Owner: EBernhardson <ebernhard...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits