Rename db_details_db_info.inc.php to db_info.inc.php.

This commit is contained in:
Michal Čihař
2006-10-19 08:58:57 +00:00
parent 39ac60384a
commit 5eb166184f
2 changed files with 4 additions and 3 deletions

View File

@@ -9,8 +9,9 @@ $HeadURL$
* db_import.php, db_details.php, db_details_export.php,
db_details_structure.php, db_details_qbe.php, db_operations.php,
sql.php, libraries/db_info.inc.php, libraries/mult_submits.inc.php,
libraries/header.inc.php, libraries/db_details_db_info.inc.php: Rename
db_details_db_info.inc.php to db_info.inc.php.
libraries/header.inc.php, libraries/db_details_db_info.inc.php,
server_privileges.php: Rename db_details_db_info.inc.php to
db_info.inc.php.
2006-10-18 Marc Delisle <lem9@users.sourceforge.net>
* db_operations.php, libraries/Table.class.php: bug #1567316,

View File

@@ -1230,7 +1230,7 @@ if (isset($viewing_mode) && $viewing_mode == 'db') {
// Gets the database structure
$sub_part = '_structure';
require('./libraries/db_details_db_info.inc.php');
require('./libraries/db_info.inc.php');
echo "\n";
} else {
require('./libraries/server_links.inc.php');