Merged revision 4125 from stable branch.

tbrehm

2013-08-23 7334d4dcbe65e40236e179716a4dbed75c96816c

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