Fixing error due a wrong merge see #4402

main/inc/local.inc.php

@@ -619,7 +619,7 @@ if ($gidReq && $gidReq != $gid) {
       $is_platformAdmin = false; 
       $is_allowedCreateCourse = false;
 
-	if (isset($_user['user_id']) && $_user['user_id'] && ! api_is_anonymous()) // a uid is given (log in succeeded)
+	if (isset($_user['user_id']) && $_user['user_id'] && ! api_is_anonymous()) {
         // a uid is given (log in succeeded)
 		$user_table     = Database::get_main_table(TABLE_MAIN_USER);
 		$admin_table    = Database::get_main_table(TABLE_MAIN_ADMIN);
@@ -664,13 +664,14 @@ if ($gidReq && $gidReq != $gid) {
             
             // If request_uri is setted we have to go further to have course permissions
             if (empty($_SESSION['request_uri']) || !isset($_SESSION['request_uri'])) {
-        if( $_SESSION['noredirection'] ) {//If we just want to reser  info without redirecting user
+                if ($_SESSION['noredirection']) {
+                    //If we just want to reser  info without redirecting user
                     unset($_SESSION['noredirection']);
                 } else {
                     require_once api_get_path(LIBRARY_PATH).'loginredirection.lib.php';
                     LoginRedirection::redirect();
                 }
-
+            }
 		} else {
 			header('location:'.api_get_path(WEB_PATH));
 			//exit("WARNING UNDEFINED UID !! ");