Scanned repo and converted dos formatted files to unix

nveid

2011-08-27 8896abb18415d5d856c45546f9ea460f5759e1b5

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