- Fixed #1786.

ftimme

2011-10-10 6c451dba150e4f3c4b7edfb152a345823cb8897d

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