Fixed #3829 for CentOS and Fedora.

Till Brehm

2016-04-20 9bdcb1178638db9dc0536788f7ba2ad66b1a8bc0

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