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