Added editor for the server config ini.

tbrehm

2008-06-13 7848cef8ea2f1345c08200d9a817404b437c53a5

1
2
3
4
5
6
7
8
9
10
11
12
<?php
$wb["list_head_txt"] = 'Indirizzi IP';
$wb["server_id_txt"] = 'Server';
$wb["ip_address_txt"] = 'Indirizzi IP';
$wb["page_txt"] = 'Pagina';
$wb["page_of_txt"] = 'di';
$wb["page_next_txt"] = 'Avanti';
$wb["page_back_txt"] = 'Indietro';
$wb["delete_txt"] = 'Cancella';
$wb["filter_txt"] = 'Filtro';
$wb["add_new_record_txt"] = 'Aggiungi nuovo indirizzo IP';
?>