mod/chat/settings.php

   1 <?php  //$Id$
   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 ?>