Removing libs already added in global.inc

main/admin/session_category_edit.php

@@ -4,8 +4,8 @@
 // name of the language file that needs to be included
 $language_file ='admin';
 $cidReset=true;
-include('../inc/global.inc.php');
-require_once (api_get_path(LIBRARY_PATH).'sessionmanager.lib.php');
+require_once '../inc/global.inc.php';
+
 // setting the section (for the tabs)
 $this_section=SECTION_PLATFORM_ADMIN;
 api_protect_admin_script(true);

main/admin/session_course_user_list.php

@@ -8,7 +8,8 @@
  */
 $language_file='admin';
 $cidReset=true;
-include('../inc/global.inc.php');
+require_once '../inc/global.inc.php';
+
 api_protect_admin_script(true);
 $tbl_user=Database::get_main_table(TABLE_MAIN_USER);
 $tbl_course=Database::get_main_table(TABLE_MAIN_COURSE);

main/course_info/infocours.php

@@ -25,7 +25,6 @@ $nameTools = get_lang('ModifInfo');
 
 /*	Libraries */
 require_once api_get_path(INCLUDE_PATH).'conf/course_info.conf.php';
-require_once api_get_path(LIBRARY_PATH).'formvalidator/FormValidator.class.php';
 require_once api_get_path(LIBRARY_PATH).'pdf.lib.php';
 
 /*	Constants and variables */