minor change name var get_lang

main/admin/index.php

@@ -158,7 +158,7 @@ if(api_is_platform_admin()) {
 	  <li><a href="languages.php"><?php echo get_lang('Languages'); ?></a></li>
 	  <li><a href="configure_homepage.php"><?php echo get_lang('ConfigureHomePage'); ?></a></li>
 	  <li><a href="configure_inscription.php"><?php echo get_lang('ConfigureInscription'); ?></a></li>
-	  <li><a href="statistics/index.php"><?php echo get_lang('ToolName'); ?> </a></li>
+	  <li><a href="statistics/index.php"><?php echo get_lang('Statistics'); ?> </a></li>
 	  <li><a href="calendar.php"><?php echo get_lang('GlobalAgenda'); ?> </a></li>
 	  <?php if(!empty($phpMyAdminPath)) { ?>
 	  <li><a href="<?php echo $phpMyAdminPath; ?>" target="_blank"><?php echo get_lang("AdminDatabases"); ?></a><br />(<?php echo get_lang("DBManagementOnlyForServerAdmin"); ?>)</li>

main/admin/statistics/index.php

@@ -34,7 +34,7 @@ api_protect_admin_script();
 
 $interbreadcrumb[] = array ("url" => "../index.php", "name" => get_lang('PlatformAdmin'));
 
-$tool_name = get_lang('ToolName');
+$tool_name = get_lang('Statistics');
 Display::display_header($tool_name);
 api_display_tool_title($tool_name);