From: short <>
Date: Sat, 8 Sep 2001 20:51:55 +0000 (+0000)
Subject: "have_style" detection code cleanup
X-Git-Url: http://git.jankratochvil.net/?p=www.energie.vellum.cz.git;a=commitdiff_plain;h=6b09f6775c8425876448cedf421db40fd9eb8f9a

"have_style" detection code cleanup
---

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)