wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-24 02:39:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Handle null user when trying to generate a link for notifications"

Browse source
This commit is contained in:
jenkins-bot 2016-02-24 21:29:25 +00:00 committed by Gerrit Code Review
parent fa94848835 f1e68f9451
commit 656d6c401c
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;
}