1
<?php //$Id: settings.php,v 1.1.2.2 2007/12/19 17:38:47 skodak Exp $
3
if (empty($CFG->enablerssfeeds)) {
4
$options = array(0 => get_string('rssglobaldisabled', 'admin'));
5
$str = get_string('configenablerssfeeds', 'data').'<br />'.get_string('configenablerssfeedsdisabled2', 'admin');
8
$options = array(0=>get_string('no'), 1=>get_string('yes'));
9
$str = get_string('configenablerssfeeds', 'data');
11
$settings->add(new admin_setting_configselect('data_enablerssfeeds', get_string('enablerssfeeds', 'admin'),