From 5eb166184fc3f6a08f9be0a98256b4900a84fff2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= Date: Thu, 19 Oct 2006 08:58:57 +0000 Subject: [PATCH] Rename db_details_db_info.inc.php to db_info.inc.php. --- ChangeLog | 5 +++-- server_privileges.php | 2 +- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index bb9681bed..046db1414 100644 --- a/ChangeLog +++ b/ChangeLog @@ -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 * db_operations.php, libraries/Table.class.php: bug #1567316, diff --git a/server_privileges.php b/server_privileges.php index 64e966378..b4f8dbb27 100644 --- a/server_privileges.php +++ b/server_privileges.php @@ -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');