Set uninitialized $time variable to current timestamp. Many thanks to Mirko...

tbrehm

2009-09-14 209188b358c63658f43c4f0f6b751f5b77b35f79

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