Replace split (deprecated in php 5.3 and removed in php 6) with preg_split

fantu

2010-02-28 4cc356db8cf66c04bc0b336683df756bfb96dab5

1
2
3
4
5
6
<?php
$wb['list_head_txt'] = 'Repository';
$wb['active_txt'] = 'Attivo';
$wb['repo_name_txt'] = 'Repository';
$wb['repo_url_txt'] = 'Indirizzo';
?>