Added some strings for the enablerecordcache setting.

Merged from MOODLE_17_STABLE

diff --git a/lang/en_utf8/admin.php b/lang/en_utf8/admin.php
index 3c26c79bdeb8ff36349e19e96b99b68ea2044dd3..5ce5497b52ca4bfa6a6195200e9ba17652d4d081 100644 (file)
--- a/lang/en_utf8/admin.php
+++ b/lang/en_utf8/admin.php
@@ -8,6 +8,8 @@ $string['gradebookroles'] = 'Graded roles';
 $string['configgradebookroles'] = 'This setting allows you to control who appears on the gradebook.  Users need to have at least one of these roles in a course to be shown in the gradebook for that course.';
 $string['enableajax'] = 'Enable AJAX';
 $string['configenableajax'] = 'This setting allows you to control the use of AJAX (advanced client/server interfaces using Javascript) across the whole site.  With this setting enabled users can sill make a choice in their profile, otherwise AJAX is disabled for everybody.';
+$string['enablerecordcache'] = 'Enable Record Cache';
+$string['configenablerecordcache'] = 'If you enable this, some in-memory caching will be performed while retrieving info from database. This means that your database throughput will be better but, in the other hand, your web server memory requirements will be slightly increased. Generally we recommend this to be enabled unless your server is low on memory. Some processes may choose to override this setting where the developer is certain of a performance increase.';
 $string['autologinguests'] = 'Auto-login guests';
 $string['search'] = 'Search';
 $string['searchresults'] = 'Search Results';
@@ -164,6 +166,7 @@ $string['sessioncookiepath'] = 'Cookie path';
 $string['enablerssfeeds'] = 'Enable RSS feeds';
 $string['debug'] = 'Debug messages';
 $string['perfdebug'] = 'Performance info';
+$string['performance'] = 'Performance';
 $string['enablestats'] = 'Enable statistics';
 $string['statsfirstrun'] = 'Maximum processing interval';
 $string['statsmaxruntime'] = 'Maximum runtime';