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'] = 'Prioriteit';
$wb['policy_id_txt'] = 'Policy';
$wb['email_txt'] = 'E-mail (Patroon)';
$wb['fullname_txt'] = 'Naam';
$wb['local_txt'] = 'Locaal';
?>