added interface + theme options for the end user

cfoe

2012-07-18 4eb8d2a054e69aba568d5435fd1420b5a9367207

1
2
3
4
5
6
7
8
<?php
$wb["server_id_txt"] = 'Server';
$wb["priority_txt"] = 'Priority';
$wb["policy_id_txt"] = 'Policy';
$wb["email_txt"] = 'Email (Pattern)';
$wb["fullname_txt"] = 'Name';
$wb["local_txt"] = 'Local';
?>