diff --git a/buglist.cgi b/buglist.cgi
index fbdbb85934b3bc3dcb13898b701763b312a65e3b..553ea614c819520c0f26e831b605e63d16f187c8 100755
--- a/buglist.cgi
+++ b/buglist.cgi
@@ -110,7 +110,7 @@ my $serverpush =
     && exists $ENV{'HTTP_USER_AGENT'} 
       && $ENV{'HTTP_USER_AGENT'} =~ /(Mozilla.[3-9]|Opera)/
         && $ENV{'HTTP_USER_AGENT'} !~ /compatible/i
-          && $ENV{'HTTP_USER_AGENT'} !~ /WebKit/
+          && $ENV{'HTTP_USER_AGENT'} !~ /(?:WebKit|Trident)/
             && !defined($cgi->param('serverpush'))
               || $cgi->param('serverpush');