option to set the company name in the page title

Florian Schaal

2015-06-22 8f5b513ed53ab241fc496e5728c61705e7503348

1
2
3
4
5
6
7
<?php
$wb["list_head_txt"] = 'IP Mappings';
$wb["server_id_txt"] = 'Server';
$wb["source_ip_txt"] = 'eigentliche IP';
$wb["destination_ip_txt"] = 'neue IP';
$wb["active_txt"] = 'Aktiv';
?>