From 27fd48d8fa58550d5f1d4fa6b8c9b05c07259cc4 Mon Sep 17 00:00:00 2001
From: Sebastian Mendel <cybot_tm@users.sourceforge.net>
Date: Thu, 4 Oct 2007 14:14:35 +0000
Subject: [PATCH] forgot to remove

---
 libraries/header.inc.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/libraries/header.inc.php b/libraries/header.inc.php
index 771c071bf..301815ddb 100644
--- a/libraries/header.inc.php
+++ b/libraries/header.inc.php
@@ -65,7 +65,6 @@ if (empty($GLOBALS['is_header_sent'])) {
     <?php
     // Add some javascript instructions if required
     if (in_array('functions.js', $GLOBALS['js_include'])) {
-        PMA_jsFormat()
         ?>
     // js form validation stuff
     var errorMsg0   = '<?php echo PMA_escapeJsString($GLOBALS['strFormEmpty']); ?>';