Joas Schilling fb04c56827 Null !== void, those methods are void		2016-09-05 13:00:56 +02:00
..
Action.php	…
Manager.php	Null !== void, those methods are void	2016-09-05 13:00:56 +02:00
Notification.php	Make sure the primary action is always the first one	2016-08-15 11:13:54 +02:00