From 1b8aedb1018b268abf6d50cf29f86ea98ddaf346 Mon Sep 17 00:00:00 2001
From: vargenau <vargenau@96ab9672-09ca-45d6-a79d-3d69d39ca109>
Date: Thu, 7 May 2015 08:48:22 +0000
Subject: [PATCH] Remove unused var is_opera_seven

git-svn-id: svn://svn.code.sf.net/p/phpwiki/code/trunk@9696 96ab9672-09ca-45d6-a79d-3d69d39ca109
---
 themes/MonoBook/wikibits.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/themes/MonoBook/wikibits.js b/themes/MonoBook/wikibits.js
index e5cc0c396..b6a9a1a56 100644
--- a/themes/MonoBook/wikibits.js
+++ b/themes/MonoBook/wikibits.js
@@ -10,7 +10,6 @@ var is_safari = ((clientPC.indexOf('AppleWebKit')!=-1) && (clientPC.indexOf('spo
 var is_khtml = (navigator.vendor == 'KDE' || ( document.childNodes && !document.all && !navigator.taintEnabled ));
 if (clientPC.indexOf('opera')!=-1) {
     var is_opera = true;
-    var is_opera_seven = (window.opera && document.childNodes);
 }
 
 // add any onload functions in this hook (please don't hard-code any events in the xhtml source)
-- 
2.45.0