Minor - local.inc.php indentation and comments cleanup

main/inc/local.inc.php

@@ -644,7 +644,6 @@ if (isset($uidReset) && $uidReset) {    // session data refresh requested
         Session::erase('_user');
         Session::erase('_uid');
     }
-
     Session::write('is_platformAdmin',$is_platformAdmin);
     Session::write('is_allowedCreateCourse',$is_allowedCreateCourse);
 } else { // continue with the previous values
@@ -1103,12 +1102,3 @@ if (isset($_cid)) {
 
 Redirect::session_request_uri();
 
-/*
-$no_redirection = isset($no_redirection) ? $no_redirection : false;
-if (!$no_redirection && (isset($_SESSION['request_uri']) && !empty($_SESSION['request_uri']))){
-    $req= $_SESSION['request_uri'];
-    unset($_SESSION['request_uri']);
-    header('Location: '.$req);
-    exit;
-}
-*/