Minor - Removing whitespaces

main/inc/lib/banner.lib.php

@@ -418,6 +418,7 @@ function return_menu() {
 }
 
 function return_breadcrumb($interbreadcrumb, $language_file, $nameTools) {
+    global $cidReset;
     $session_id     = api_get_session_id();
     $session_name   = api_get_session_name($session_id);
     $_course        = api_get_course_info();
@@ -528,7 +529,6 @@ function return_breadcrumb($interbreadcrumb, $language_file, $nameTools) {
         }
     }
 
-
     // part 3: The tool itself. If we are on the course homepage we do not want to display the title of the course because this
     // is the same as the first part of the breadcrumbs (see part 1)
     if (isset($nameTools) && $language_file != 'course_home') { // TODO: This condition $language_file != 'course_home' might bring surprises.