Editing: UserProvider.php