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 ****/ } /**