Eric Lippmann 7fd575080e PHP7: Rename String to StringHelper ... refs #10251		2016-01-27 16:46:55 +01:00
..
User	Use getenv() instead of $_SERVER to get REMOTE_USER	2015-12-18 13:46:34 +01:00
UserGroup	PHP7: Rename String to StringHelper	2016-01-27 16:46:55 +01:00
AdmissionLoader.php	PHP7: Rename String to StringHelper	2016-01-27 16:46:55 +01:00
Auth.php	Reload CSS after login because the user may have a different theme (WIP)	2016-01-18 12:56:02 +01:00
AuthChain.php	lib: Add AuthChain::setSkipExternalBackends() in favor of setIteratorMode()	2015-07-29 16:18:30 +02:00
Authenticatable.php	lib: Move UserBackendInterface::authenticate() to new interface Authenticatable	2015-07-29 09:25:14 +02:00