kind of cleanup

A. Täffner

2016-01-20 4cd8e971adf3bd2d29109b5ba5d6a144e5f2af7f

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