FS#4024 - can't run ispconfig_update.sh to switch to dev

Florian Schaal

2015-11-06 c0a85582a1e6ffd0b86fba4466981ba9c3ede0fe

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