Handle hostnames with upper-case letters
[webmin.git] / usermin / edit_mobile.cgi
1 #!/usr/local/bin/perl
2 # Display options specific to mobile devices
3
4 require './usermin-lib.pl';
5 &ReadParse();
6 &ui_print_header(undef, $text{'mobile_title'}, "");
7 &get_usermin_miniserv_config(\%miniserv);
8
9 print &ui_form_start("change_mobile.cgi");
10 print &ui_table_start($text{'mobile_header'}, undef, 2);
11
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 ]));
20
21 # Skip session login for mobile devices
22 print &ui_table_row($text{'mobile_nosession'},
23             &ui_yesno_radio("nosession", int($miniserv{'mobile_nosession'})));
24
25 # Extra user agents
26 print &ui_table_row($text{'mobile_agents'},
27             &ui_textarea("agents",
28                 join("\n", split(/\t+/, $miniserv{'mobile_agents'})), 5, 50));
29
30 # Hostname prefixes for mobile
31 print &ui_table_row($text{'mobile_prefixes'},
32             &ui_textbox("prefixes", $miniserv{'mobile_prefixes'}, 50));
33
34 print &ui_table_end();
35 print &ui_form_end([ [ "save", $text{'save'} ] ]);
36
37 &ui_print_footer("", $text{'index_return'});