From 5977e635a1ee4f74012830a6d5035cb84d6f7fd4 Mon Sep 17 00:00:00 2001 From: dongsheng Date: Mon, 30 Mar 2009 09:42:28 +0000 Subject: [PATCH] "MDL-18540, change option name to extramemorylimit" --- admin/settings/server.php | 2 +- version.php | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/admin/settings/server.php b/admin/settings/server.php index 40d312caf5..c21dda541f 100644 --- a/admin/settings/server.php +++ b/admin/settings/server.php @@ -234,7 +234,7 @@ $ADMIN->add('server', new admin_externalpage('phpinfo', get_string('phpinfo'), " // "performance" settingpage $temp = new admin_settingpage('performance', get_string('performance', 'admin')); -$temp->add(new admin_setting_configselect('memorylimit', get_string('memorylimit', 'admin'), +$temp->add(new admin_setting_configselect('extramemorylimit', get_string('memorylimit', 'admin'), get_string('configmemorylimit', 'admin'), '128M', // if this option is set to 0, default 128M will be used array( '64M' => '64M', diff --git a/version.php b/version.php index 6796761871..d1a1872be9 100644 --- a/version.php +++ b/version.php @@ -6,7 +6,7 @@ // This is compared against the values stored in the database to determine // whether upgrades should be performed (see lib/db/*.php) - $version = 2009033001; // YYYYMMDD = date of the last version bump + $version = 2009033002; // YYYYMMDD = date of the last version bump // XX = daily increments $release = '2.0 dev (Build: 20090330)'; // Human-friendly version name -- 2.39.5