Thomas Müller f6b846584b Handle case where the user is not known - fixes #23759		2016-04-04 16:56:59 +02:00
..
deletedusersindex.php	Happy new year!	2016-01-12 15:02:18 +01:00
iusertools.php	Happy new year!	2016-01-12 15:02:18 +01:00
manager.php	Update author information	2016-03-01 17:25:15 +01:00
offlineuser.php	Happy new year!	2016-01-12 15:02:18 +01:00
user.php	Handle case where the user is not known - fixes #23759	2016-04-04 16:56:59 +02:00