Lukas Reschke e77d2ff2b4 Remove outdated comment		2015-03-13 16:19:52 +01:00
..
backend.php	Remove outdated comment	2015-03-13 16:19:52 +01:00
database.php	Revert "Updating license headers"	2015-02-26 11:37:37 +01:00
dummy.php	Revert "Updating license headers"	2015-02-26 11:37:37 +01:00
interface.php	Revert "Updating license headers"	2015-02-26 11:37:37 +01:00
loginexception.php	Revert "Updating license headers"	2015-02-26 11:37:37 +01:00
manager.php	Can also be null	2015-03-13 14:01:24 +01:00
session.php	Let users configure security headers in their Webserver	2015-03-02 19:07:46 +01:00
user.php	Revert "Updating license headers"	2015-02-26 11:37:37 +01:00