michael/webmin
1
0
Fork 0
mirror of https://github.com/webmin/webmin.git synced 2026-02-03 14:13:29 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Android is a mobile device

Browse Source
This commit is contained in:
Jamie Cameron
2008-10-11 00:35:45 +00:00
parent 86d713445c
commit a45434b781
2 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
miniserv.pl
View File

@@ -4544,6 +4544,7 @@ local @substrings = (
"iPhone", # Apple iPhone KHTML browser
"iPod", # iPod touch browser
"MobileSafari", # HTTP client in iPhone
"Android", # gPhone
);
foreach my $p (@prefixes) {
return 1 if ($agent =~ /^\Q$p\E/);

4
useradmin/lang/en
View File

@@ -15,8 +15,8 @@ index_ujump=Jump to users..
index_notusers=You are not allowed to edit any users on this system
index_notusers2=No users were found on this system!
index_createuser=Create a new user.
index_batch=Create, modify and delete users from batch file.
index_export=Export users to batch file.
index_batch=Run batch file.
index_export=Export to batch file.
index_nomoreusers=You are not allowed to create any more users
index_groups=Local Groups
index_notgroups=You are not allowed to edit any groups on this system