Thiemo Kreuz c9797db768 Prefer UserIdentity::isRegistered over isAnon ... isRegistered is part of the slick UserIdentity interface, i.e. it's the more "canonical" form. This change makes it a bit easier to move away from using the huge (4000+ LOC) User class everywhere, in favor of the UserIdentity interface, where possible. This patch is meant as a small step towards this goal. I tried to replace some usages of User type hints already, but prefer to go in small, incremental steps. Change-Id: I039c7a18672dfb6ea9507752bce9ea754babd690		2020-12-23 07:15:30 +00:00
..
NotificationPager.php	phpcs: Break long lines	2020-06-27 12:05:03 +02:00
SpecialDisplayNotificationsConfiguration.php	Remove obsolete property name from @var docs	2020-08-10 12:53:14 +02:00
SpecialNotifications.php	Prefer UserIdentity::isRegistered over isAnon	2020-12-23 07:15:30 +00:00
SpecialNotificationsMarkRead.php	Echo: Fix case mismatch for function/method calls	2019-06-11 22:46:24 +01:00