moodle/moodle
3
0
Fork 0
mirror of https://github.com/moodle/moodle.git synced 2025-08-04 16:36:37 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

MDL-15402: add repository_cache_expire common option

Browse source
This commit is contained in:
jerome 2008-09-03 09:45:27 +00:00
parent 8f95b06aab
commit 5a8ca18789
3 changed files with 12 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

3
admin/settings/plugins.php
View file

@ -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),

3
lang/en_utf8/repository.php
View file

@ -1,11 +1,14 @@
<?php //$Id$
$string['activerepository'] = 'Active repository plugins';
$string['add'] = 'Add';
$string['addplugin'] = 'Add a repository plugin';
$string['activaterep'] = 'Active repositories';
$string['attachment'] = 'Attachment';
$string['back'] = '&lt; Back';
$string['cacheexpire'] = 'Cache expire';
$string['close'] = 'Close';
$string['copying'] = 'Copying';
$string['configcacheexpire'] = 'Configurate the cache expired time.';
$string['configsaved'] = 'Configuration saved!';
$string['confirmdelete'] = 'Are you sure you want to delete this repository - $a?';
$string['confirmremove'] = 'Are you sure you want to remove this repository plugin - $a?';

2
lib/adminlib.php
View file

@ -5578,7 +5578,7 @@ class admin_setting_managerepository extends admin_setting {
function output_html($data, $query='') {
global $CFG, $USER;
$output = print_box_start('','',true);
$output = print_box_start('generalbox','',true);
$namestr = get_string('name');
$stropt = get_string('operation', 'repository');
$updown = get_string('updown', 'repository');