Fixed bug in database name prefix.

tbrehm

2008-12-15 91433cc637909a5c3fc56f49414d78725afc8f7f

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