From a46cfb34b570e18c818091250b4790a0fbbe8f25 Mon Sep 17 00:00:00 2001
From: Erik Moeller <erik@users.mediawiki.org>
Date: Mon, 19 Jan 2004 21:45:49 +0000
Subject: [PATCH] show infobox in all KHTML browsers

---
 stylesheets/wikibits.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/stylesheets/wikibits.js b/stylesheets/wikibits.js
index b5e5de6c4a..bcd9ade930 100644
--- a/stylesheets/wikibits.js
+++ b/stylesheets/wikibits.js
@@ -96,7 +96,8 @@ function addInfobox(infoText) {
 	var clientPC = navigator.userAgent.toLowerCase(); // Get client info
 	var is_nav = ((clientPC.indexOf('mozilla')!=-1) && (clientPC.indexOf('spoofer')==-1)
                 && (clientPC.indexOf('compatible') == -1) && (clientPC.indexOf('opera')==-1)
-                && (clientPC.indexOf('webtv')==-1) && (clientPC.indexOf('hotjava')==-1));
+                && (clientPC.indexOf('webtv')==-1) && (clientPC.indexOf('hotjava')==-1)
+		&& (clientPC.indexOf('khtml')==-1));
  	if(!document.selection && !is_nav) {
 	 	document.write("<form name='infoform' id='infoform'>"+
 			"<input size=80 id='infobox' name='infobox' value='"+
-- 
2.20.1