- cleaned up javascript

Marius Cramer

2015-01-13 9021d7fc7ee308c0df84ad29da0bf316f592ce89

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