diff --git a/html/inc/prefs.inc b/html/inc/prefs.inc index 877d52266d..d95476d9e9 100644 --- a/html/inc/prefs.inc +++ b/html/inc/prefs.inc @@ -472,7 +472,7 @@ function prefs_display_venue($prefs, $venue, $subset) { if (isset($prefs->$venue)) $x = $prefs->$venue; if ($x) { - row1(tra("Separate preferences for %1", $venue), 2, "heading"); + echo "

".tra("Separate preferences for %1", $venue)."

"; echo ""; start_table(); if ($subset == "global") { @@ -488,7 +488,7 @@ function prefs_display_venue($prefs, $venue, $subset) { end_table(); echo "\n"; } else { - row1("".tra("Add separate preferences for %1", $venue)."", 2, "heading"); + echo "

".tra("Add separate preferences for %1", $venue).""; } } @@ -502,21 +502,17 @@ function print_prefs_display_global($user, $columns=false) { .tra("Android devices") ." "; - $switch_link = " ".tra("(Switch View)").""; - start_table(); + $switch_link = " ".tra("(Switch view)").""; if ($columns) { - row1(tra("Combined preferences").$switch_link, 2, "heading"); - echo ""; + echo "

".tra("Combined preferences").$switch_link."

"; start_table(); prefs_show_columns_global($global_prefs); end_table(); - echo "\n"; } else { if (isset($global_prefs->home) || isset($global_prefs->work) || isset($global_prefs->school)) { - row1(tra("Primary (default) preferences").$switch_link, 2, "heading"); + echo "

".tra("Primary (default) preferences").$switch_link."

"; } - echo ""; start_table(); prefs_show_global($global_prefs); $tokens = url_tokens($user->authenticator); @@ -524,15 +520,13 @@ function print_prefs_display_global($user, $columns=false) { "".tra("Edit preferences")." "); end_table(); - echo "\n"; prefs_display_venue($global_prefs, "home", "global"); prefs_display_venue($global_prefs, "school", "global"); prefs_display_venue($global_prefs, "work", "global"); } - end_table(); if (isset($global_prefs->mod_time)) { - echo tra("Preferences last modified:")." ".pretty_time_str($global_prefs->mod_time)."

\n"; + echo "

".tra("Preferences last modified:")." ".pretty_time_str($global_prefs->mod_time)."

\n"; } }