- Fixed #1776.

ftimme

2011-10-10 6e9c073b9082d6b9d96e1ef7aedecefc33b02eee

1
2
3
4
<?php
$wb['list_head_txt'] = 'Configurazione Server';
$wb['server_name_txt'] = 'Server';
?>