@@ -452,7 +452,8 @@ $string['searchuserspublic'] = 'Show users in public search';
$string['searchuserspublicdescription']='Allow users\' names to appear in public search results. This needs to have \'publicsearchallowed\' set to true and be using a search plugin that allows public search, e.g. Elasticsearch. Changing this setting will require search re-indexing.';
$string['sessionlifetime']='Session lifetime';
$string['sessionlifetimedescription']='Time in minutes after which an inactive logged-in user will be automatically logged out.';
$string['setsiteoptionsfailed']='Failed setting the %s option';
$string['setsiteoptionsfailed1']='Failed setting this option';
$string['setsiteoptionsfailednotice']='Failed to set %s field options';