From 6b09f6775c8425876448cedf421db40fd9eb8f9a Mon Sep 17 00:00:00 2001
From: short <>
Date: Sat, 8 Sep 2001 20:51:55 +0000
Subject: [PATCH] "have_style" detection code cleanup

---
 common.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/common.php b/common.php
index f0fd2c9..aae2fe0 100644
--- a/common.php
+++ b/common.php
@@ -25,7 +25,7 @@
 	else if (ereg("[[:<:]]Mozilla/([0-9]+)\\.",$user_agent,$mozilla_major_a))
 		$mozilla_major=$mozilla_major_a[1];
 
-	$have_style=!ereg("Mozilla/4\\.[5-7]",$user_agent);
+	$have_style=!isset($mozilla_major) || $mozilla_major!=4;
 	$have_css=true; // doesn't hurt anybody AFAIK
 
 function addpercents($url)
-- 
1.8.3.1