2 # Display options specific to mobile devices
4 require './webmin-lib.pl';
6 &ui_print_header(undef, $text{'mobile_title'}, "");
7 &get_miniserv_config(\%miniserv);
9 print &ui_form_start("change_mobile.cgi");
10 print &ui_table_start($text{'mobile_header'}, undef, 2);
12 # Custom theme for mobile devices
13 @themes = &list_themes();
14 $m = $miniserv{'mobile_preroot'};
15 print &ui_table_row($text{'mobile_theme'},
16 &ui_select("theme", defined($m) ? $m : "*",
17 [ [ "*", $text{'mobile_themeglob'} ],
18 [ "", $text{'themes_default'} ],
19 map { [ $_->{'dir'}, $_->{'desc'} ] } @themes ]));
21 # Skip session login for mobile devices
22 print &ui_table_row($text{'mobile_nosession'},
23 &ui_yesno_radio("nosession", int($miniserv{'mobile_nosession'})));
26 print &ui_table_row($text{'mobile_agents'},
27 &ui_textarea("agents",
28 join("\n", split(/\t+/, $miniserv{'mobile_agents'})), 5, 50));
30 # Hostname prefixes for mobile
31 print &ui_table_row($text{'mobile_prefixes'},
32 &ui_textbox("prefixes", $miniserv{'mobile_prefixes'}, 50));
34 print &ui_table_end();
35 print &ui_form_end([ [ "save", $text{'save'} ] ]);
37 &ui_print_footer("", $text{'index_return'});