replace function deprecated in php 5.3

fantu

2008-12-23 043a0a320744d0f5f4214898210edd8a907b8030

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