Fixed several bugs (revisions 1783-1788 from stable branch).

tbrehm

2010-05-28 cab9249b25719fd2611be5917326671b7f73e67c

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