";
} elseif (isset ($nameTools) && $language_file != 'course_home') {
//Put the name of the user-tools in the header
if (!isset ($_user['user_id'])) {
@@ -62,7 +55,7 @@ if (!empty($_cid) and $_cid != -1 and isset($_course)) {
}
}
//not to let the header disappear if there's nothing on the left
-echo '
".get_lang('UsersOnline').": ";
// Display the who's online of the platform
if ((api_get_setting('showonline','world') == "true" AND !$_user['user_id']) OR (api_get_setting('showonline','users') == "true" AND $_user['user_id'])) {
- echo ''.$number.'';
+ echo "".$number."";
}
// Display the who's online for the course
if (is_array($_course) AND api_get_setting('showonline','course') == "true" AND isset($_course['sysCode'])) {
echo "($number_online_in_course ".get_lang('InThisCourse').")";
}
-
-
echo '
';
}
if ($_user['user_id'] && isset($_cid)) {
- if ((api_is_course_admin() || api_is_platform_admin()) && api_get_setting('student_view_enabled') == 'true') {
+ if (api_is_course_admin() && api_get_setting('student_view_enabled') == 'true') {
echo '