1<?php 2 3/** 4 * English language strings for the User Settings plugin. 5 */ 6 7// user menu item + settings page 8$lang['menu'] = 'Preferences'; 9$lang['heading'] = 'Preferences'; 10$lang['intro'] = 'These settings are stored with your account and apply wherever you are logged in.'; 11$lang['save'] = 'Save preferences'; 12$lang['saved'] = 'Your preferences have been saved.'; 13$lang['savefail'] = 'Your preferences could not be saved.'; 14$lang['nologin'] = 'You need to be logged in to change your preferences.'; 15$lang['notoggles'] = 'There are no preferences to configure yet.'; 16 17// admin overview 18$lang['admin_menu'] = 'User Settings'; 19$lang['admin_heading'] = 'User preferences overview'; 20$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."; 21$lang['th_name'] = 'Display name'; 22$lang['th_setting'] = 'Setting'; 23$lang['th_value'] = 'Value'; 24$lang['th_changedby'] = 'Changed by'; 25$lang['th_changedat'] = 'Changed at'; 26$lang['filter_label'] = 'Show setting:'; 27$lang['filter_all'] = 'All settings'; 28$lang['filter_apply'] = 'Apply'; 29$lang['val_on'] = 'On'; 30$lang['val_off'] = 'Off'; 31$lang['bydefault'] = '(default)'; 32$lang['edit_heading'] = 'Edit preferences for %s'; 33$lang['edit_back'] = 'Back to overview'; 34$lang['adminsaved'] = 'Preferences for %s have been saved.'; 35$lang['adminsavefail'] = 'Preferences could not be saved.'; 36$lang['badidentuser'] = 'Unknown user.'; 37$lang['nousers'] = 'No users found.'; 38