Merged revisions 2173-2174 from stable branch.

tbrehm

2011-01-12 03bca94981b46d3b7e1251d11a91f7aeaef2143e

1
2
3
4
5
6
7
<?php 
$wb["list_head_txt"] = 'Server configuratie'; 
$wb["server_name_txt"] = 'Server'; 
?>