mod/hotpot/settings.php

   1 <?php  //$Id$
   2
   3 $settings->add(new admin_setting_configcheckbox('hotpot_showtimes', get_string('showtimes', 'hotpot'),
   4                     get_string('configshowtimes', 'hotpot'), 0) );
   5
   6 $settings->add(new admin_setting_configtext('hotpot_excelencodings', get_string('excelencodings', 'hotpot'),
   7                    get_string('configexcelencodings', 'hotpot'), '') );
   8
   9 ?>