Opera mini is a mobile browser

diff --git a/miniserv.pl b/miniserv.pl
index 66f02b1..2aa86bf 100755 (executable)
--- a/miniserv.pl
+++ b/miniserv.pl
@@ -4556,6 +4556,7 @@ local @substrings = (
     "iPod",              # iPod touch browser
     "MobileSafari",      # HTTP client in iPhone
     "Android",           # gPhone
+    "Opera Mini",        # Opera Mini
     );
 foreach my $p (@prefixes) {
        return 1 if ($agent =~ /^\Q$p\E/);