Add session timeout info

htdocs/admin/system/dolibarr.php

@@ -104,6 +104,8 @@ print '<tr class="liste_titre"><td>'.$langs->trans("Session").'</td><td>'.$langs
 $var=!$var;
 print "<tr ".$bc[$var]."><td width=\"300\">".$langs->trans("SessionId")."</td><td>".session_id()."</td></tr>\n";
 $var=!$var;
+print "<tr ".$bc[$var]."><td width=\"300\">".$langs->trans("CurrentSessionTimeOut")."</td><td>".ini_get('session.gc_maxlifetime').' '.$langs->trans("seconds")."</td></tr>\n";
+$var=!$var;
 print "<tr ".$bc[$var]."><td width=\"300\">".$langs->trans("CurrentTheme")."</td><td>".$conf->theme."</td></tr>\n";
 $var=!$var;
 print "<tr ".$bc[$var]."><td width=\"300\">".$langs->trans("CurrentTopMenuHandler")."</td><td>".$conf->top_menu."</td></tr>\n";

htdocs/langs/en_US/admin.lang

@@ -79,6 +79,7 @@ ServerTZ=Time Zone Server
 PHPTZ=Time Zone PHP
 PHPServerOffsetWithGreenwich=Offset for PHP server width Greenwich (secondes)
 CurrentHour=Current hour
+CurrentSessionTimeOut=Current session timeout
 OSEnv=OS Environment
 Box=Box
 Boxes=Boxes

htdocs/langs/fr_FR/admin.lang

@@ -79,6 +79,7 @@ ServerTZ=Time Zone Serveur
 PHPTZ=Time Zone PHP
 PHPServerOffsetWithGreenwich=Offset serveur PHP avec Greenwich (secondes)
 CurrentHour=Heure courante
+CurrentSessionTimeOut=Time out session courante
 OSEnv=Environnement OS
 Box=Boîte
 Boxes=Boîtes