replace function deprecated in php 5.3

fantu

2008-12-23 043a0a320744d0f5f4214898210edd8a907b8030

1
2
3
4
5
6
<?php
$wb['list_head_txt'] = 'Bestand synchronisatie';
$wb['jobname_txt'] = 'Jobnaam';
$wb['ftp_host_txt'] = 'FTP-server';
$wb['local_path_txt'] = 'Lokaal pad';
?>