From 8efd55494504cc50f14d2174e86206d11d5e64b1 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Tue, 9 Jul 2002 11:35:08 +0000
Subject: [PATCH] bug 579017

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

diff --git a/libraries/common.lib.php3 b/libraries/common.lib.php3
index 8bab3fd2d..0e47ff618 100644
--- a/libraries/common.lib.php3
+++ b/libraries/common.lib.php3
@@ -1129,7 +1129,7 @@ if (typeof(document.getElementById) != 'undefined'
     && typeof(window.parent.frames['nav']) != 'undefined'
     && typeof(window.parent.frames['nav'].document.getElementById('<?php echo $md5_tbl; ?>')) != 'undefined'
     && typeof(window.parent.frames['nav'].document.getElementById('<?php echo $md5_tbl; ?>').title) == 'string') {
-    window.parent.frames['nav'].document.getElementById('<?php echo $md5_tbl; ?>').title = '<?php echo htmlspecialchars($tooltip); ?>';
+    window.parent.frames['nav'].document.getElementById('<?php echo $md5_tbl; ?>').title = '<?php echo PMA_jsFormat($tooltip); ?>';
 }
 //-->
 </script>