:
|
';
?>
|
:
|
';
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 " |
:
|
';
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 ' |
|
>
>
|
:
|
>
|
|
"name="submit_display">
|