Joas Schilling e12e27fa65 Fix issues where some user settings cannot be loaded when the user id differs in case sensitivity 8 years ago
..
backend.php ca6a7d9e6a Run the license script 8 years ago
database.php ca6a7d9e6a Run the license script 8 years ago
interface.php ca6a7d9e6a Run the license script 8 years ago
loginexception.php ca6a7d9e6a Run the license script 8 years ago
manager.php e12e27fa65 Fix issues where some user settings cannot be loaded when the user id differs in case sensitivity 8 years ago
nouserexception.php ca6a7d9e6a Run the license script 8 years ago
session.php ca6a7d9e6a Run the license script 8 years ago
user.php 1d9738006a Only trigger postDelete hooks when the user was deleted... 8 years ago