- Better fix for update problem from old versions.

tbrehm

2011-11-07 5cff6bc5c22dd39c2f7825fd3dac3117926d3cfd

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