Tim Düsterhus 527a04db58 Avoid the use of `empty()`		2022-03-04 21:08:06 +01:00
..
User.class.php	Add proper types to User	2022-03-04 21:08:03 +01:00
UserAction.class.php	Avoid the use of `empty()`	2022-03-04 21:08:06 +01:00
UserList.class.php	Reformat PHP files as PSR-12	2022-03-04 21:08:01 +01:00