diff --git a/main/inc/banner.inc.php b/main/inc/banner.inc.php
index 3d41ac64c8..ee9511b59c 100644
--- a/main/inc/banner.inc.php
+++ b/main/inc/banner.inc.php
@@ -45,18 +45,11 @@ show_header_1($language_file, $nameTools);
show_header_2();
echo '
';
-if (isset($database_connection)) {
- // connect to the main database.
- // if single database, don't pefix table names with the main database name in SQL queries
- // (ex. SELECT * FROM table)
- // if multiple database, prefix table names with the course database name in SQL queries (or no prefix if the table is in
- // the main database)
- // (ex. SELECT * FROM table_from_main_db - SELECT * FROM courseDB.table_from_course_db)
- Database::select_db($_configuration['main_database'], $database_connection);
-}
echo ''; //
diff --git a/main/inc/footer.inc.php b/main/inc/footer.inc.php
index e33b3181bd..cd073a6e91 100644
--- a/main/inc/footer.inc.php
+++ b/main/inc/footer.inc.php
@@ -1,193 +1,4 @@
';
- echo ' ';
- }
- require_once api_get_path(INCLUDE_PATH).'tool_navigation_menu.inc.php';
- show_navigation_menu();
- }
-}
-
-?>
-
-
-
-
-
-
-';
- foreach ($used_lang_vars as $var => $value) {
- echo '- '.$var.': '.$value.'
';
- }
- echo '
';
-} else {
- echo 'No translated strings on this page?!
';
-}*/
-
-?>
-'; //copyright div
-
-echo '';
-
-
-echo ' ';
-
-if (!api_is_platform_admin()) {
- $extra_footer = trim(api_get_setting('footer_extra_content'));
- if (!empty($extra_footer)) {
- echo $extra_footer;
- }
-}
-
-/*
-// Test server mode indicator and information for testing purposes.
-if (api_is_platform_admin()) {
- if (api_get_setting('server_type') == 'test') {
-
- echo '
';
- echo ' '.get_lang('TestServerMode').' ';
-
- // @todo page execution time
- $mtime = microtime();
- $mtime = explode(" ",$mtime);
- $mtime = $mtime[1] + $mtime[0];
- $endtime = $mtime;
- $starttime = $_SESSION['page_start_time_execution'];
- $totaltime = ($endtime - $starttime);
-
- $starttime = null;
- unset($_SESSION['page_start_time_execution']);
-
- $totaltime = number_format(($totaltime), 4, '.', '');
- echo ''.get_lang('PageExecutionTimeWas').' '.$totaltime.' '.get_lang('Seconds').'
';
- unset($_SESSION['page_start_time_execution']);
-
-
- // Memory usage
- echo get_lang('MemoryUsage').': '.number_format((memory_get_usage()/1048576), 3, '.', '') .' Mb' ;
- echo '
';
- echo get_lang('MemoryUsagePeak').': '.number_format((memory_get_peak_usage()/1048576), 3, '.', '').' Mb';
- }
-}*/
-?>
-
-