Fixed theme settings

tbrehm

2012-10-18 ef21bd53b783203dd49e835577030d60b22e2af7

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';
?>