From 5a8ca18789b1fcee84c281a63dab71c114442cb6 Mon Sep 17 00:00:00 2001 From: jerome Date: Wed, 3 Sep 2008 09:45:27 +0000 Subject: [PATCH] MDL-15402: add repository_cache_expire common option --- admin/settings/plugins.php | 3 +++ lang/en_utf8/repository.php | 3 +++ lib/adminlib.php | 12 ++++++------ 3 files changed, 12 insertions(+), 6 deletions(-) diff --git a/admin/settings/plugins.php b/admin/settings/plugins.php index 4bfb0a8150..ae43b07bf8 100644 --- a/admin/settings/plugins.php +++ b/admin/settings/plugins.php @@ -183,7 +183,10 @@ if ($hassiteconfig) { $url = $CFG->wwwroot.'/'.$CFG->admin.'/repository.php'; $ADMIN->add('modules', new admin_category('repositorysettings', $catname)); $temp = new admin_settingpage('managerepositories', $managerepo); + $temp->add(new admin_setting_heading('managerepositories', get_string('activerepository', 'repository'), '')); $temp->add(new admin_setting_managerepository()); + $temp->add(new admin_setting_heading('managerepositoriescommonheading', get_string('commonsettings', 'admin'), '')); + $temp->add(new admin_setting_configtext('repository_cache_expire', get_string('cacheexpire', 'repository'), get_string('configcacheexpire', 'repository'), 0)); $ADMIN->add('repositorysettings', $temp); $ADMIN->add('repositorysettings', new admin_externalpage('repositorynew', get_string('createrepository', 'repository'), $url, 'moodle/site:config', true), diff --git a/lang/en_utf8/repository.php b/lang/en_utf8/repository.php index d56adc9403..e80b1e04b6 100644 --- a/lang/en_utf8/repository.php +++ b/lang/en_utf8/repository.php @@ -1,11 +1,14 @@ baseurl . '&delete=' . $i->get_typename() . '">' . get_string('delete') . '' . "\n"; $row .= ' ' . get_string($i->get_visible() ? 'hide' : 'show') . '' . "\n"; - + // display up/down link $updown = ''; - + if ($updowncount > 1) { $updown .= "baseurl&move=up&type=".$i->get_typename()."\">"; $updown .= "pixpath}/t/up.gif\" alt=\"up\" /> "; @@ -5619,9 +5619,9 @@ class admin_setting_managerepository extends admin_setting { else { $updown .= "pixpath}/spacer.gif\" class=\"icon\" alt=\"\" />"; } - + $updowncount++; - + $table->data[] = array($i->get_readablename(), $updown,$row); if (!in_array($i->get_typename(), $alreadyplugins)) { $alreadyplugins[] = $i->get_typename(); @@ -5644,7 +5644,7 @@ class admin_setting_managerepository extends admin_setting { } $instancehtml .= ''; $instancehtml .= ''; - if ($addable) { + if ($addable) { $output .= $instancehtml; } -- 2.39.5