Changed: tools.inc.php removed from different places and converted to class...

mcramer

2012-08-30 31f6ceb52bc4422c8a9a0ed8c6b167b3089bb6a6

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