1 <form method=
"post" action=
"module.php" id=
"form">
2 <input type=
"hidden" name=
"sesskey" value=
"<?PHP print isset($USER->sesskey) ? $USER->sesskey : '' ?>" />
4 <table cellpadding=
"9" cellspacing=
"0">
6 <td align=
"right">hotpot_showtimes:
</td>
9 $choices[
"0"] = get_string(
"no");
10 $choices[
"1"] = get_string(
"yes");
11 choose_from_menu ($choices,
"hotpot_showtimes", $CFG-
>hotpot_showtimes,
"");
13 <td><?PHP print_string(
"configshowtimes",
"hotpot")
?></td>
16 <td align=
"right">hotpot_excelencodings:
</td>
17 <td><input name=
"hotpot_excelencodings" type=
"text" size=
"30" value=
"<?PHP p($CFG->hotpot_excelencodings) ?>" /></td>
18 <td><?PHP print_string(
"configexcelencodings",
"hotpot")
?></td>
21 <td colspan=
"3" align=
"center"><input type=
"submit" value=
"<?PHP print_string("savechanges
") ?>" /></td>