diff options
| -rwxr-xr-x | buglist.cgi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/buglist.cgi b/buglist.cgi index f7498483a..0f9e8176a 100755 --- a/buglist.cgi +++ b/buglist.cgi @@ -109,11 +109,12 @@ my $format = $template->get_format("list/list", scalar $cgi->param('format'), # http://www.browsercaps.org used as source of compatible browsers. # Safari (WebKit) does not support it, despite a UA that says otherwise (bug 188712) # MSIE 5+ supports it on Mac (but not on Windows) (bug 190370) +# Opera supports it. # my $serverpush = $format->{'extension'} eq "html" && exists $ENV{'HTTP_USER_AGENT'} - && $ENV{'HTTP_USER_AGENT'} =~ /Mozilla.[3-9]/ + && $ENV{'HTTP_USER_AGENT'} =~ /(Mozilla.[3-9]|Opera)/ && (($ENV{'HTTP_USER_AGENT'} !~ /[Cc]ompatible/) || ($ENV{'HTTP_USER_AGENT'} =~ /MSIE 5.*Mac_PowerPC/)) && $ENV{'HTTP_USER_AGENT'} !~ /WebKit/ && !defined($cgi->param('serverpush')) |