';
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';
}
}*/
?>