//within print_category_info function, around line 1897
} else {
echo '
';
echo '';
if ($depth) {
$indent = $depth*20;
print_spacer(10, $indent, false);
}
echo ''. format_string($category->name).'';
if (count($courses)) {
$strcourse = get_string('course');
if(count($courses) > 1) {
$strcourse = get_string('courses');
}
echo ' - '. count($courses). ' '. $strcourse;
}
echo ' |
';
}
echo '';