wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 07:54:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

Handle null user when trying to generate a link for notifications

Browse source 
Bug: T127728
Change-Id: I87de2d10887216e3edf53c2972b6bf230191f0ea
This commit is contained in:
Stephane Bisson 2016-02-24 11:42:03 -05:00
parent 37b3f4df8b
commit f1e68f9451
1 changed files with 6 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
includes/formatters/EventPresentationModel.php
View file

@ -381,10 +381,14 @@ abstract class EchoEventPresentationModel implements JsonSerializable {
}
/**
* @param User $user
* @param User|null $user
* @return array|null
*/
final protected function getUserLink( User $user ) {
final protected function getUserLink( $user ) {
if ( !$user ) {
return null;
}
if ( !$this->userCan( Revision::DELETED_USER ) ) {
return null;
}