bug #1054756 duplicate top menu

This commit is contained in:
Marc Delisle
2004-10-30 01:15:18 +00:00
parent 141e44f6a7
commit 7de71081b2
2 changed files with 3 additions and 1 deletions

View File

@@ -12,6 +12,7 @@ $Source$
and fix bug #1054467 (in case of BINARY User field) and fix bug #1054467 (in case of BINARY User field)
* header.inc.php: bug #1053310, undefined index under OmniSecure server * header.inc.php: bug #1053310, undefined index under OmniSecure server
* tbl_relation.php: bug #1050424, not positionned on current db * 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> 2004-10-28 Alexander M. Turek <me@derrabus.de>
* user_password.php, lang/*.inc.php: Allow usage of old password hashing * user_password.php, lang/*.inc.php: Allow usage of old password hashing

View File

@@ -22,7 +22,8 @@ require('./tbl_properties_table_info.php');
* Displays top menu links * Displays top menu links
*/ */
$active_page = 'tbl_properties_structure.php'; $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');
/** /**