Fixed: #3928 usage of deprecated php function split.

Till Brehm

2016-05-26 bd6f59523ed17478a4a36a78f6f52857661d30b4

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