get_string('config_show_both_clocks', 'block_simple_clock'), B_SIMPLE_CLOCK_SHOW_SERVER_ONLY => get_string('config_show_server_clock', 'block_simple_clock'), B_SIMPLE_CLOCK_SHOW_USER_ONLY => get_string('config_show_user_clock', 'block_simple_clock')); choose_from_menu($showClockOptions, 'show_clocks', empty($this->config->show_clocks) ? B_SIMPLE_CLOCK_SHOW_BOTH : $this->config->show_clocks, ''); ?> config->show_seconds)) echo 'checked="checked"'; ?> /> config->hide_header)) echo 'checked="checked"'; ?> /> config->hide_icons)) echo 'checked="checked"'; ?> />