From 7e11ea0c10b581b193ef3aed591f893a4163f2d3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Thu, 19 Sep 2002 15:57:22 +0000
Subject: [PATCH] fix for #593971

---
 libraries/common.lib.php3 | 1 +
 1 file changed, 1 insertion(+)

diff --git a/libraries/common.lib.php3 b/libraries/common.lib.php3
index 885225893..acc07cc3d 100644
--- a/libraries/common.lib.php3
+++ b/libraries/common.lib.php3
@@ -1084,6 +1084,7 @@ if (typeof(window.parent) != 'undefined'
 <!--
 if (typeof(document.getElementById) != 'undefined'
     && typeof(window.parent.frames['nav']) != 'undefined'
+    && typeof(window.parent.frames['nav'].document) != 'undefined' && typeof(window.parent.frames['nav'].document) != 'unknown'
     && typeof(window.parent.frames['nav'].document.getElementById('<?php echo 'tbl_' . $md5_tbl; ?>')) != 'undefined'
     && typeof(window.parent.frames['nav'].document.getElementById('<?php echo 'tbl_' . $md5_tbl; ?>').title) == 'string') {
     window.parent.frames['nav'].document.getElementById('<?php echo 'tbl_' . $md5_tbl; ?>').title = '<?php echo PMA_jsFormat($tooltip, FALSE); ?>';