Fixes: #3899

Florian Schaal

2016-05-14 d0a3ad4ef336757aef28a56751888d784b629f2f

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