return ((float)$usec + (float)$sec);
}
- function print_radio($id, $default, $values, $attributes = "") {
+ function print_radio($id, $default, $true_is, $values, $attributes = "") {
foreach ($values as $v) {
if ($v == $default)
else
$sel = "";
- if ($v == "Yes") {
+ if ($v == $true_is) {
$sel .= " value=\"1\"";
} else {
$sel .= " value=\"0\"";
$_SESSION["prefs_cache"] = false;
+// print_r($_POST);
+
foreach (array_keys($_POST) as $pref_name) {
$pref_name = db_escape_string($pref_name);
return prefs_js_redirect();
- } else if ($subop == "Change theme") {
+ } else if ($subop == __("Change theme")) {
$theme = db_escape_string($_POST["theme"]);
$value = __("No");
}
- print_radio($pref_name, $value, array(__("Yes"), __("No")));
+ print_radio($pref_name, $value, __("Yes"), array(__("Yes"), __("No")));
} else {
print "<input class=\"editbox\" name=\"$pref_name\" value=\"$value\">";