From a45434b781dcccceef37745b07c6ec19828250cf Mon Sep 17 00:00:00 2001 From: Jamie Cameron Date: Sat, 11 Oct 2008 00:35:45 +0000 Subject: [PATCH] Android is a mobile device --- miniserv.pl | 1 + useradmin/lang/en | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/miniserv.pl b/miniserv.pl index e80124da3..9d83521dc 100755 --- a/miniserv.pl +++ b/miniserv.pl @@ -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/); diff --git a/useradmin/lang/en b/useradmin/lang/en index f8526b9d8..cdf1301f1 100644 --- a/useradmin/lang/en +++ b/useradmin/lang/en @@ -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