mod/resource/config.html

   1 <form method="post" action="module.php" name="form">
   2
   3 <table cellpadding=9 cellspacing=0 >
   4 <tr valign=top>
   5         <td align=right><p>resource_framesize:</td>
   6         <td>
   7     <input name=resource_framesize type=text size=5 value="<?php p($CFG->resource_framesize) ?>">
   8     </td>
   9     <td>
  10     <?php print_string("configframesize", "resource") ?>
  11     </td>
  12 </tr>
  13 <tr valign=top>
  14         <td align=right><p>resource_websearch:</td>
  15         <td>
  16     <input name=resource_websearch type=text size=30 value="<?php p($CFG->resource_websearch) ?>">
  17     </td>
  18     <td>
  19     <?php print_string("configwebsearch", "resource") ?>
  20     </td>
  21 </tr>
  22 <tr valign=top>
  23         <td align=right><p>resource_defaulturl:</td>
  24         <td>
  25     <input name=resource_defaulturl type=text size=30 value="<?php p($CFG->resource_defaulturl) ?>">
  26     </td>
  27     <td>
  28     <?php print_string("configdefaulturl", "resource") ?>
  29     </td>
  30 </tr>
  31 <tr valign=top>
  32         <td align=right><p>resource_filterexternalpages:</td>
  33         <td>
  34     <?php
  35         unset($choices);
  36         $choices["0"] = get_string("no");
  37         $choices["1"] = get_string("yes");
  38         choose_from_menu ($choices, "resource_filterexternalpages", $CFG->resource_filterexternalpages, "");
  39     ?>
  40     </td>
  41     <td>
  42     <?php print_string("configfilterexternalpages", "resource") ?>
  43     </td>
  44 </tr>
  45 <tr valign=top>
  46         <td align=right><p>resource_popup:</td>
  47         <td>
  48     <?php
  49         unset($choices);
  50         $choices[""] = get_string("no");
  51         $choices["checked"] = get_string("yes");
  52         choose_from_menu ($choices, "resource_popup", $CFG->resource_popup, "");
  53     ?>
  54     </td>
  55     <td>
  56     <?php print_string("configpopup", "resource") ?>
  57     </td>
  58 </tr>
  59 <?php foreach ($RESOURCE_WINDOW_OPTIONS as $optionname) {
  60           $defaultvalue = "resource_popup$optionname";
  61           echo "<tr valign=top>";
  62               echo "<td align=right><p>$defaultvalue:</td>";
  63               echo "<td>";
  64           if ($optionname == "height" or $optionname == "width") {
  65               echo "<input name=$defaultvalue type=text size=5 value=\"".$CFG->$defaultvalue."\">";
  66           } else {
  67               choose_from_menu ($choices, $defaultvalue, $CFG->$defaultvalue, "");
  68           }
  69           echo "</td>";
  70           echo "<td>";
  71           print_string("configpopup$optionname", "resource");
  72           echo "</td>";
  73           echo "</tr>";
  74       }
  75 ?>
  76 <tr>
  77     <td colspan=3 align=center>
  78         <input type="submit" value="<?php print_string("savechanges") ?>"></td>
  79 </tr>
  80 </table>
  81
  82 </form>