Disabled the "Server Type" drop-down menu under Server Config > Web.

ftimme

2011-09-20 d3dd34bb7fdaee52eef5184ad8b5d09e3d9ec5be

1
2
3
4
5
6
7
<?php
$wb['list_head_txt'] = 'Editeur de fichier de langue';
$wb['language_select_txt'] = 'Sélectionnez le langage';
$wb['module_txt'] = 'Module';
$wb['lang_file_txt'] = 'Fichier de langue';
$wb['lang_file_date_txt'] = 'Dernière modification';
?>