Rename left_header to navigation_header.

2006-10-18 14:54:35 +00:00
parent b0ff4dbf34
commit 70ec4567d5
3 changed files with 3 additions and 1 deletions
--- a/2
+++ b/2
@@ -23,6 +23,8 @@ $HeadURL$
      #1440544).
    * js/navigation.js: Fix setting of navigation width when using RTL lang
      (bug #1579750).
+    * libraries/navigation_header.inc.php, libraries/left_header.inc.php,
+      navigation.php: Rename left_header to navigation_header.

 2006-10-17 Marc Delisle  <lem9@users.sourceforge.net>
    * export.php: export nothing if no tables are selected
--- a/libraries/navigation_header.inc.php
+++ b/libraries/navigation_header.inc.php
--- a/navigation.php
+++ b/navigation.php
@@ -156,7 +156,7 @@ require_once './libraries/header_http.inc.php';

 <body id="body_leftFrame" onload="PMA_setFrameSize();" onresize="PMA_saveFrameSize();">
 <?php
-require './libraries/left_header.inc.php';
+require './libraries/navigation_header.inc.php';
 if (! $GLOBALS['server']) {
    // no server selected
    PMA_exitNavigationFrame();