replace double-quotes with single-quotes whenever appropriate and remove ex...

jwarnier

2010-09-08 ccc7e75d2948e52c5f88efff65a9736ed87d5a1d

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'] = 'Lokaal';
?>