[Summary view] [Print] [Text view]

   1  <?php  //$Id: settings.php,v 1.1.2.2 2007/12/19 17:38:47 skodak Exp $
   2  
   3  require_once($CFG->libdir.'/rsslib.php');
   4  
   5  $settings->add(new admin_setting_configtext('block_rss_client_num_entries', get_string('numentries', 'block_rss_client'),
   6                     get_string('clientnumentries', 'block_rss_client'), 5, PARAM_INT));
   7  
   8  $settings->add(new admin_setting_configtext('block_rss_client_timeout', get_string('timeout2', 'block_rss_client'),
   9                     get_string('timeout', 'block_rss_client'), 30, PARAM_INT));
  10  
  11  $options = array (SUBMITTERS_ALL_ACCOUNT_HOLDERS => get_string('everybody'),
  12                    SUBMITTERS_ADMIN_ONLY => get_string('administrators'),
  13                    SUBMITTERS_ADMIN_AND_TEACHER => get_string('administratorsandteachers'));
  14  $settings->add(new admin_setting_configselect('block_rss_client_submitters', get_string('submitters2', 'block_rss_client'),
  15                     get_string('submitters', 'block_rss_client'), SUBMITTERS_ADMIN_ONLY, $options));
  16  
  17  $link ='<a href="'.$CFG->wwwroot.'/blocks/rss_client/block_rss_client_action.php">'.get_string('feedsaddedit', 'block_rss_client').'</a>';
  18  $settings->add(new admin_setting_heading('block_rss_addheading', '', $link));
  19  
  20  
  21  ?>