: ' . "\n"; for ($i = 0; $i < count($theme); $i++) { if ($theme[$i]['PATH'] == $chosen_theme) echo ' '.$theme[$i]['NAME']."\n"; else echo ' '.$theme[$i]['NAME']."\n"; } echo ' '; ?> : ' . "\n"; foreach ($languages as $code => $name) { if (! isset($name['ALIAS'])) { if ($code==$chosen_language) echo ' '.$name['NAME']."\n"; else echo ' '.$name['NAME']."\n"; } } echo ' '; if (! $use_gettext) echo ' This system doesn\'t support multiple languages'; ?>   '; if ($use_javascript_addr_book == true) { echo ' ' . _("JavaScript") . '    '; echo ' ' . _("HTML"); } else { echo ' ' . _("JavaScript") . '    '; echo ' ' . _("HTML"); } ?> : '; else echo ' '; ?> : '; else echo ' '; ?> : = 10 && $editor_size <= 255) echo ' '; else echo ' '; ?> : >- - > > > : <> : > > > : > > : ' . "\n"; for ($i = 100; $i <= 300; $i += 10) { if ($left_size >= $i && $left_size < $i + 10) echo "$i pixels\n"; else echo "$i pixels\n"; } echo ' '; ?> : '; if ($left_refresh == '') $left_refresh = 'None'; if ($left_refresh > 600) $left_refresh = 600; RefreshOption($left_refresh, '', 'None', _("None")); RefreshOption($left_refresh, 30); RefreshOption($left_refresh, 60); RefreshOption($left_refresh, 120); RefreshOption($left_refresh, 180); RefreshOption($left_refresh, 300); RefreshOption($left_refresh, 600); // Refreshes after the session auto-timeout (default 15 min) is pointless function RefreshOption(&$current, $val, $str = '') { static $lastVal = 0; if (is_int($val) && is_int($current)) { if ($current > $lastVal && $current <= $val) $current = $val; } if ($str == '') { if ($val > 60) { $str = ($val / 60) . ' ' . _("Minutes"); } elseif ($val == 60) { $str = '1 ' . _("Minute"); } else { $str = $val . ' ' . _("Seconds"); } } echo '' . $str . "\n"; } echo ' '; ?> >    > : > : >   "name="submit_display">