And additional in dist-files

Dominik Müller

2014-10-13 a8aad2c0ffaec8be21d187848f03cc5519b17fd6

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