replace double-quotes with single-quotes whenever appropriate

jwarnier

2010-09-23 5f027cd03dc2f1c99530108bc398ab8cec6bba15

1
2
3
4
<?php
$wb['list_head_txt'] = 'Server configuratie';
$wb['server_name_txt'] = 'Servernaam';
?>