Morris Jobke 4a7d7e446f User.php: rename of old dispatcher to legacyDispatcher ... Signed-off-by: Morris Jobke <hey@morrisjobke.de>		2020-07-30 10:21:08 +02:00
..
Backend.php	…
Database.php	…
LoginException.php	…
Manager.php	…
NoUserException.php	…
Session.php	…
User.php	User.php: rename of old dispatcher to legacyDispatcher	2020-07-30 10:21:08 +02:00