- merged different fixes and updates from foreign branches

Marius Burkard

2016-01-04 d22277878254cf33fd63ca1bf12b215f4e030a27

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