From 70ec4567d5cd744b77b709aeab4dcbe9dd9f6797 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= Date: Wed, 18 Oct 2006 14:54:35 +0000 Subject: [PATCH] Rename left_header to navigation_header. --- ChangeLog | 2 ++ libraries/{left_header.inc.php => navigation_header.inc.php} | 0 navigation.php | 2 +- 3 files changed, 3 insertions(+), 1 deletion(-) rename libraries/{left_header.inc.php => navigation_header.inc.php} (100%) diff --git a/ChangeLog b/ChangeLog index 11829474c..1fbb26dc6 100644 --- a/ChangeLog +++ b/ChangeLog @@ -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 * export.php: export nothing if no tables are selected diff --git a/libraries/left_header.inc.php b/libraries/navigation_header.inc.php similarity index 100% rename from libraries/left_header.inc.php rename to libraries/navigation_header.inc.php diff --git a/navigation.php b/navigation.php index b0e34a3bf..36aaebc8d 100644 --- a/navigation.php +++ b/navigation.php @@ -156,7 +156,7 @@ require_once './libraries/header_http.inc.php';