Changed file encoding to utf8

tbrehm

2012-05-21 3c53e35464f1cdd5c40717eb2b7e85f999a80eca

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