last checkin optimized ^^

Dominik Müller

2014-01-19 6b459fd396f33fd0720b1048385158a8e15b1a7c

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