From 60bf2ef58261541d0808cbe639bbfee2806e8b98 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Mon, 7 Mar 2011 17:43:18 -0500
Subject: [PATCH] Script already included from header_scripts.inc.php

---
 pmd_general.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pmd_general.php b/pmd_general.php
index 4363258bf..434a6305a 100644
--- a/pmd_general.php
+++ b/pmd_general.php
@@ -55,7 +55,6 @@ if (isset($GLOBALS['db'])) {
 }
 require_once './libraries/header_scripts.inc.php';
 ?>
-    <script src="js/messages.php<?php echo PMA_generate_common_url($params); ?>" type="text/javascript"></script>
     <script src="pmd/scripts/ajax.js" type="text/javascript"></script>
     <script src="pmd/scripts/history.js" type="text/javascript"></script>
 	<script src="pmd/scripts/move.js" type="text/javascript"></script>