Eric Lippmann 9968fb9011 Reload CSS after login because the user may have a different theme (WIP) ... This is just a quick fix. refs #10957		2016-01-18 12:56:02 +01:00
..
User	Use getenv() instead of $_SERVER to get REMOTE_USER	2015-12-18 13:46:34 +01:00
UserGroup	LdapUserGroupBackend: Avoid inspecting a group with no members	2015-11-24 09:45:49 +01:00
AdmissionLoader.php	Note that our license is GPL v2 or any later version in our license header instead of pointing to the license's URL	2015-02-04 10:52:27 +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