From 7de71081b24f5e978cc45f4bd07d1cb40df96b56 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Sat, 30 Oct 2004 01:15:18 +0000
Subject: [PATCH] bug #1054756 duplicate top menu

---
 ChangeLog     | 1 +
 tbl_alter.php | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index c1ea812df..f872bc42d 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -12,6 +12,7 @@ $Source$
       and fix bug #1054467 (in case of BINARY User field)
     * header.inc.php: bug #1053310, undefined index under OmniSecure server
     * tbl_relation.php: bug #1050424, not positionned on current db
+    * tbl_alter.php: bug #1054756, duplicate top menu
 
 2004-10-28 Alexander M. Turek  <me@derrabus.de>
     * user_password.php, lang/*.inc.php: Allow usage of old password hashing
diff --git a/tbl_alter.php b/tbl_alter.php
index 15ddc930f..de6c4f441 100644
--- a/tbl_alter.php
+++ b/tbl_alter.php
@@ -22,7 +22,8 @@ require('./tbl_properties_table_info.php');
  * Displays top menu links
  */
 $active_page = 'tbl_properties_structure.php';
-require('./tbl_properties_links.php');
+// I don't see the need to display the links here, they will be displayed later
+//require('./tbl_properties_links.php');
 
 
 /**