ensure the internal PHP scripts work even if system-wide PHP settings are s...

Michel Käser

2015-05-17 4bc030979267303b2ff1668c99af0a4e7089824b

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