'../gradebook/'.$_SESSION['gradebook_dest'], 'name' => get_lang('ToolGradebook'), ); } $interbreadcrumb[] = array("url" => "exercise.php", "name" => get_lang('Exercises')); $nameTools = get_lang('adminHP'); Display::display_header($nameTools, "Exercise"); /** @todo probably wrong !!!! */ require_once api_get_path(SYS_CODE_PATH).'/exercise/hotpotatoes.lib.php'; ?>

window.location='exercise.php'; "; } } echo "
"; echo ""; echo " "; echo ""; echo ""; echo "
"; Display::display_footer();