mod/data/settings.php

   1 <?php  //$Id$
   2
   3 if (empty($CFG->enablerssfeeds)) {
   4     $options = array(0 => get_string('rssglobaldisabled', 'admin'));
   5     $str = get_string('configenablerssfeeds', 'data').'<br />'.get_string('configenablerssfeedsdisabled2', 'admin');
   6
   7 } else {
   8     $options = array(0=>get_string('no'), 1=>get_string('yes'));
   9     $str = get_string('configenablerssfeeds', 'data');
  10 }
  11 $settings->add(new admin_setting_configselect('data_enablerssfeeds', get_string('enablerssfeeds', 'admin'),
  12                    $str, 0, $options));
  13
  14 ?>