Translations:Manual:User.php/2/en

User.php implements the User class, which encapsulates all of the user-specific settings (user_id, name, rights, email address, options, last login time).