'index.php',"name" => get_lang('PlatformAdmin')); $tool_name = get_lang('Statistics'); Display::display_header($tool_name); Display::display_footer();