<?php

/**
 * English language strings for the User Settings plugin.
 */

// user menu item + settings page
$lang['menu']      = 'Preferences';
$lang['heading']   = 'Preferences';
$lang['intro']     = 'These settings are stored with your account and apply wherever you are logged in.';
$lang['save']      = 'Save preferences';
$lang['saved']     = 'Your preferences have been saved.';
$lang['savefail']  = 'Your preferences could not be saved.';
$lang['nologin']   = 'You need to be logged in to change your preferences.';
$lang['notoggles'] = 'There are no preferences to configure yet.';

// admin overview
$lang['admin_menu']     = 'User Settings';
$lang['admin_heading']  = 'User preferences overview';
$lang['admin_intro']    = "The effective preference for every user. Click a name to change that user's preferences — the change is recorded under your account.";
$lang['th_name']        = 'Display name';
$lang['th_setting']     = 'Setting';
$lang['th_value']       = 'Value';
$lang['th_changedby']   = 'Changed by';
$lang['th_changedat']   = 'Changed at';
$lang['filter_label']   = 'Show setting:';
$lang['filter_all']     = 'All settings';
$lang['filter_apply']   = 'Apply';
$lang['val_on']         = 'On';
$lang['val_off']        = 'Off';
$lang['bydefault']      = '(default)';
$lang['edit_heading']   = 'Edit preferences for %s';
$lang['edit_back']      = 'Back to overview';
$lang['adminsaved']     = 'Preferences for %s have been saved.';
$lang['adminsavefail']  = 'Preferences could not be saved.';
$lang['badidentuser']   = 'Unknown user.';
$lang['nousers']        = 'No users found.';