From e00e571fe827d071848c102aff26f953dafe2cb6 Mon Sep 17 00:00:00 2001 From: Julian Prud'homme Date: Tue, 18 Sep 2007 10:10:04 +0200 Subject: [PATCH] [svn r13066] Forget to include this file in the last commit for the bug http://projects.dokeos.com/?do=details&id=1883 --- index.php | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/index.php b/index.php index a4ae3ca526..6f06d0a4b5 100644 --- a/index.php +++ b/index.php @@ -20,7 +20,7 @@ /** * @package dokeos.main * @author Patrick Cool , Ghent University, Refactoring -* @version $Id: index.php 12875 2007-08-06 12:26:55Z pcool $ +* @version $Id: index.php 13066 2007-09-18 08:10:04Z elixir_julian $ * @todo check the different @todos in this page and really do them * @todo check if the news management works as expected */ @@ -426,21 +426,24 @@ function display_anonymous_right_menu() echo ""; } -/**** use this comment to hide notice file section from right menu **** - echo '
'; + // includes for any files to be displayed below anonymous right menu - if(!file_exists('home/home_notice_'.$user_selected_language.'.html')) + if(!file_exists('home/home_notice_'.$user_selected_language.'.html') && file_get_contents('home/home_notice.html')!='') { + echo '
'; include ('home/home_notice.html'); + echo '
'; } - else + elseif(file_exists('home/home_notice_'.$user_selected_language.'.html') && file_get_contents('home/home_notice_'.$user_selected_language.'.html')!='') { + echo '
'; include('home/home_notice_'.$user_selected_language.'.html'); + echo '
'; } - echo '
'; + + -**** end of hide various right menu items on anonymous right menu ****/ } /**