[Summary view] [Print] [Text view]

   1  <?php  //$Id: settings.php,v 1.1.2.2 2007/12/19 17:38:41 skodak Exp $
   2  
   3  $settings->add(new admin_setting_heading('chat_method_heading', get_string('generalconfig', 'chat'),
   4                     get_string('explaingeneralconfig', 'chat')));
   5  
   6  $options = array();
   7  $options['header_js'] = get_string('methodnormal', 'chat');
   8  $options['sockets']   = get_string('methoddaemon', 'chat');
   9  $settings->add(new admin_setting_configselect('chat_method', get_string('method', 'chat'),
  10                     get_string('configmethod', 'chat'), 'header_js', $options));
  11  
  12  $settings->add(new admin_setting_configtext('chat_refresh_userlist', get_string('refreshuserlist', 'chat'),
  13                     get_string('configrefreshuserlist', 'chat'), 10, PARAM_INT));
  14  
  15  $settings->add(new admin_setting_configtext('chat_old_ping', get_string('oldping', 'chat'),
  16                     get_string('configoldping', 'chat'), 35, PARAM_INT));
  17  
  18  
  19  $settings->add(new admin_setting_heading('chat_normal_heading', get_string('methodnormal', 'chat'),
  20                     get_string('explainmethodnormal', 'chat')));
  21  
  22  $settings->add(new admin_setting_configtext('chat_refresh_room', get_string('refreshroom', 'chat'),
  23                     get_string('configrefreshroom', 'chat'), 5, PARAM_INT));
  24  
  25  $options = array();
  26  $options['jsupdate']  = get_string('normalkeepalive', 'chat');
  27  $options['jsupdated'] = get_string('normalstream', 'chat');
  28  $settings->add(new admin_setting_configselect('chat_normal_updatemode', get_string('updatemethod', 'chat'),
  29                     get_string('confignormalupdatemode', 'chat'), 'jsupdate', $options));
  30  
  31  
  32  $settings->add(new admin_setting_heading('chat_daemon_heading', get_string('methoddaemon', 'chat'),
  33                     get_string('explainmethoddaemon', 'chat')));
  34  
  35  $settings->add(new admin_setting_configtext('chat_serverhost', get_string('serverhost', 'chat'),
  36                     get_string('configserverhost', 'chat'), $_SERVER['HTTP_HOST']));
  37  
  38  $settings->add(new admin_setting_configtext('chat_serverip', get_string('serverip', 'chat'),
  39                     get_string('configserverip', 'chat'), '127.0.0.1'));
  40  
  41  $settings->add(new admin_setting_configtext('chat_serverport', get_string('serverport', 'chat'),
  42                     get_string('configserverport', 'chat'), 9111, PARAM_INT));
  43  
  44  $settings->add(new admin_setting_configtext('chat_servermax', get_string('servermax', 'chat'),
  45                     get_string('configservermax', 'chat'), 100, PARAM_INT));
  46  
  47  ?>