+ /**
+ * TODO: short description.
+ *
+ * @param string $sel
+ *
+ * @return TODO
+ */
+ function charset($sel) {
+ $chars = array('','latin9','utf-8');
+ foreach ($chars as $c) {
+ echo "\t<option value='$c' ";
+ if ($sel==$c) echo " selected";
+ echo ">$c\n";
+ }
+ }